The size and complexity of software in spacecraft is increasing exponentially, and this trend
complicates its validation within the context of the overall spacecraft system. Current …

Interest is growing in the use of autonomous swarms of drones in various mission-physical
applications such as surveillance, intelligent monitoring, and rescue operations. Swarm …

This paper discusses the use of symbolic model checking technology to verify the design of
an embedded satellite software control system called the attitude and orbit control system …

An increasing openness and interconnectedness of safety-critical industrial control systems
makes them vulnerable to security attacks. Hence, we should establish the integrated …

One of the guarantees that the designers of on-board satellite systems need to provide, so
as to ensure their dependability, is that the mode transition scheme is implemented correctly …

Partitioning operating systems (POSs) have been widely applied in safety-critical domains
from aerospace to automotive. In order to improve the safety and the certification process of …

ARINC 653 as the de facto standard of partitioning operating systems has been applied in
many safety-critical domains. The multi-core version of ARINC 653, ARINC 653 Part 1-4 …

Advanced medical devices exploit the advantages of embedded software whose
development is subject to compliance with stringent requirements of standardization and …

Smart city systems do not only handle information but also handle many critical aspects of
citizens' lives, including automobiles, healthcare, banking, etc. Smart city systems need to be …

Swarm of drones are increasingly deployed to perform a variety of critical missions such as
surveillance, rescue in disaster areas etc. To guarantee success of a mission, the controlling …