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 …

Formal methods have become a recommended practice in safety-critical software
engineering. To be formally verified, a system should be specified with a specific formalism …

Improvements in mobile networking combined with the ubiquitous availability and adoption
of low-cost development boards have enabled the vision of mobile platforms of Cyber …

Middleware is an integral part of critical software, providing core services for data exchange
and manipulation, job execution, and scheduling. Their correctness is central to the correct …

The use of components significantly helps in development of real-time embedded systems.
There have been a number of component frameworks developed for this purpose, and some …

For realistic image synthesis and many other simulation applications, ray tracing is the only
choice to achieve the desired realism and accuracy. Ray tracing has become such an …

Urban Parking is a problem that costs time and energy. That is why intelligent parking is a
field of research growing very quickly. In a city where no sensor infrastructure within each …

The real-time scheduling theory provides analytical methods to assess the temporal
predictability of embedded systems. Nevertheless, their use is limited in a Model-Based …

This paper seeks to model the Integrated Modular Avionics (IMA) using Architectural
Analysis and Design Language (AADL). In particular, the mechanism to describe the …

Distributed Real-Time Embedded (DRE) Systems that address safety and mission-critical
system requirements are applied in a variety of domains today. Complex, integrated systems …