Refine Your Search

Search Results

Viewing 1 to 3 of 3
Training / Education

Introduction to the Secure Microkernel, seL4

2019-10-15
Security continues to be an ever-growing concern in more and more design spaces. There are daily articles about security breaches and there is a need for much higher security through the entire system stack. Thorough testing of systems can lead to stronger security in systems, but testing can only expose so many vulnerabilities. Formal methods is another solution that ensures specific behaviors will not occur. seL4 is the first formally proven microkernel and it is open-source. This makes it a great solution for systems that need strong security.
Training / Education

Global 8D

Anytime
Global 8D (G8D) is a disciplined process developed by Ford Motor Company to help product development and manufacturing engineers identify and solve problems. Solving problems results in efficient, as well as effective, resolution to 'root causes' of customer satisfaction issues, and helps reduce warranty costs. With this two-hour online course, you will learn the methods and tools used to complete each step in the Ford Global 8D find-and-fix problem-solving process, including steps to define the problem, verify the root cause and escape point, and prevent occurrence.
Training / Education

The Art of Leadership Presence

Anytime
Stuff happens. Maybe your team responds to an idea in a way you never expected. Maybe the people who were supposed to show up didn’t. Maybe a colleague expresses concern with your leadership style. Maybe someone finds a serious error in the report. We all experience surprises. What if you could meet these surprises with ease and confidence? And what if you could create, through your own personal presence, space for more positive, collaborative engagements between people? You can when you adopt the mindset of an improv actor!
X