Challenges in Validating Safety-Critical Embedded Systems
One Click Build Environment and Tool Chain for Real Time Safety Critical Aerospace Embedded System
Software Reliability Modelling and Application in Software Development Life Cycle
Evolution of Software-Only-Simulation at NASA IV and V
Software Life Cycle Processes – Implementation Considerations
Communication for Plug-in Vehicles as a Distributed Energy Resource
High Assurance Systems Engineering
Acceptance of Smart Automated Comfort Functionalities in Vehicles
Human Error Analysis, Management and Application for Airborne System of Civil Aircraft
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