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
IOT-Based Traffic Signal Control Technique for Helping Emergency Vehicles
General Automotive Embedded Software Design Requirements
Communication for Plug-in Vehicles as a Distributed Energy Resource
Human Error Analysis, Management and Application for Airborne System of Civil Aircraft
High Assurance Systems Engineering
OBJECT ORIENTATION PROBLEMS WHEN APPLIED TO THE EMBEDDED SYSTEMS DOMAIN
Experiment for Precise Orbit Determination on InnoCube
Acceptance of Smart Automated Comfort Functionalities in Vehicles
AADLv2 as a Domain Specific Extension to SysMLv2
The approach to design of dynamically reconfigurable arbitration units in embedded systems