Refine Your Search

Topic

Author

Affiliation

Search Results

Training / Education

Introduction to the Secure Microkernel, seL4

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

DO-178C Basic Training

With the development of Chinese civil aviation industry, more and more people realized the importance of airborne software. During the certification process of previous ARJ21 aircraft, airborne software had captured many concerns. Nowadays the certification process of C919 aircraft has also reached its peak after its maiden flight. In this context, learning how to correctly understand and strictly meet the objectives DO-178C becomes very essential for the people who is developing or is going to develop airborne software. This seminar aims to deliver a thorough understanding on the core concept and the utilization of DO-178C.
Training / Education

DO-178C Practical Training

2021-10-20
RTCA DO-178C is the worldwide accepted standard for civil aviation software development and certification. Compliance with the objectives of DO-178C is the primary means for meeting airworthiness requirements and obtaining approval of airborne software in TC/STC/TSO, etc. Even after learning the DO-178C, many people said they still lack of experience and still find it difficult to produce DO-178C compliant airborne software in real applications.
Training / Education

Photogrammetry and Analysis of Digital Media

2021-09-01
Photographs and video recordings of vehicle crashes and accident sites are more prevalent than ever, with dash mounted cameras, surveillance footage, and personal cell phones now ubiquitous. The information contained in these pictures and video provide critical information to understanding how crashes occurred, and in analyzing physical evidence. This course teaches the theory and techniques for getting the most out of digital media, including correctly processing raw video and photographs, correcting for lens distortion, and using photogrammetric techniques to convert the information in digital media to usable scaled three-dimensional data.
Training / Education

DO-178C Advanced Training

2021-06-01
With the development of Chinese civil aviation industry, more and more people realized the importance of airborne software. During the certification process of previous ARJ21 aircraft, airborne software had captured many concerns. Nowadays the certification process of C919 aircraft has also reached its peak after its maiden flight. In this context, learning how to correctly understand and strictly meet the objectives DO-178C becomes very essential for the people who is developing or is going to develop airborne software.
Training / Education

Introduction to DO-178C

2021-05-03
The international standard titled DO-178C - Software Considerations in Airborne Systems and Equipment Certification is the primary standard for commercial avionics software development. This standard provides recommendations for the production of airborne systems and equipment software. Compliance with the objectives of DO-178C is the primary means for meeting airworthiness requirements and obtaining approval of software used in civil aviation products. This two-day seminar will introduce attendees to industry best practices for real-world software development and how to avoid common DO-178C mistakes.
Standard

SAE-1001 Application Guide

2018-10-23
WIP
SAE1001/1
The Application Guide will provide additional information on the application and use of SAE1001, including different development approaches, specialties and domains, as well as scalability to different project and system scope. (SAE-1001/1 - Information Report)
Standard

Model Based Functional Safety

2018-05-17
WIP
SAE1005
Provides standard guidance on major tasks and activities and how to implement and manage Functional Safety and software system safety aspects of Model Based System Engineering (MBSE). Process focus is on safety-critical functions (SCF) of complex software intensive systems being modeled and depicted graphically as part of MBSE and software engineering to ensure safety engineering aspects are tracked and captured as part of models to enhance safety documentation and produce objective safety evidence.
Standard

Design For Maintainer (DFM) Process Standard

2018-08-14
WIP
SAE1009
The Design for Maintainer (DFM) standard identifies the recommended approach for conducting Design for Maintainability activities in support of system acquisition programs. The standard identifies general requirements and processes of a successful DFM program during concept and design development to ensure the lowest possible ownership costs. This standard provides specific detailed contractor requirements for DFM activities inclusive of the Human Engineering domain. The standard is consistent with MIL-STD-46855 and SAE 6906 Human Systems Integration. And DFM standard practices support performance of activities in coordination with other associated disciplines such as maintainability, supportability, and integrated logistics.
Standard

Standard Practice for Force Protection and Survivability (FP&S)

2018-08-14
WIP
SAE1008
The Protection and Survivability (FP&S) standard practice identifies the recommended approach for conducting FP&S activities in support of system acquisition programs. This standard covers FP&S processes throughout system conceptualization, design, development, verification, production, use and disposal. FP&S includes analysis, modeling and simulation, design and verification of system-related survivability characteristics and processes designed to protect personnel from direct threats and accidents, including primary and secondary effects from the events.
Standard

Technical Reviews

2018-09-26
WIP
SAE1011
The Technical Reviews standard will address a broadly applicable set of reviews for the development and maturation of systems, consistent with SAE1001 and other related technical standards
Video

Experience with Using Hardware-in-the-Loop Simulation for Validation of OBD in Powertrain Electronics Software

2011-12-05
These advanced checks have resulted in development of many new diagnostic monitors, of varying types, and a whole new internal software infrastructure to handle tracking, reporting, and self-verification of OBD related items. Due to this amplified complexity and the consequences surrounding a shortfall in meeting regulatory requirements, efficient and thorough validation of the OBD system in the powertrain control software is critical. Hardware-in-the-Loop (HIL) simulation provides the environment in which the needed efficiency and thoroughness for validating the OBD system can be achieved. A HIL simulation environment consisting of engine, aftertreatment, and basic vehicle models can be employed, providing the ability for software developers, calibration engineers, OBD experts, and test engineers to examine and validate both facets of OBD software: diagnostic monitors and diagnostic infrastructure (i.e., fault memory management).
Video

Fault-Tree Generation for Embedded Software Implementing Dual-Path Checking

2011-11-17
Given the fast changing market demands, the growing complexity of features, the shorter time to market, and the design/development constraints, the need for efficient and effective verification and validation methods are becoming critical for vehicle manufacturers and suppliers. One such example is fault-tree analysis. While fault-tree analysis is an important hazard analysis/verification activity, the current process of translating design details (e.g., system level and software level) is manual. Current experience indicates that fault tree analysis involves both creative deductive thinking and more mechanical steps, which typically involve instantiating gates and events in fault trees following fixed patterns. Specifically for software fault tree analysis, a number of the development steps typically involve instantiating fixed patterns of gates and events based upon the structure of the code. In this work, we investigate a methodology to translate software programs to fault trees.
Video

Strategies for ISO 26262 Functional Safety Compliance

2011-12-12
Software content within commercial vehicles is growing exponentially. Emissions requirements, multiplexed communications, hybrid-electric technologies, active suspensions and smart sensors are amongst the technologies driving the increase in embedded code. Presenter Christoph Braeuchle , MKS Software, Inc.
X