Challenges in Validating Safety-Critical Embedded Systems
One Click Build Environment and Tool Chain for Real Time Safety Critical Aerospace Embedded System
Evolution of Software-Only-Simulation at NASA IV and V
Software Reliability Modelling and Application in Software Development Life Cycle
Software Life Cycle Processes – Implementation Considerations
Communication for Plug-in Vehicles as a Distributed Energy Resource
High Assurance Systems Engineering
Human Error Analysis, Management and Application for Airborne System of Civil Aircraft
Acceptance of Smart Automated Comfort Functionalities in Vehicles
AADLv2 as a Domain Specific Extension to SysMLv2
Toward Okinawa‐Style Robot‐Embedded Systems
Application Layer - Diagnostics
Use Cases for Plug-In Vehicle Communication as a Distributed Energy Resource
Application Layer - Diagnostics