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 …

The Architecture Analysis and Design Language (AADL) is used to represent architecture
design decisions of safety-critical and real-time embedded systems. Due to the far-reaching …

Abstract Architecture Analysis and Design Language (AADL) is often used to model safety-
critical real-time systems. Model transformation is widely used to extract a formal …

The verification of High-Integrity Real-Time systems combines heterogeneous concerns:
preserving timing constraints, ensuring behavioral invariants, or specific execution patterns …

Textual editors are omnipresent in all software tools. Editors provide basic features, such as
copy-pasting and searching, or more advanced features, such as error checking and text …

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 …

To take advantage of component-based software engineering, software designers need a
component framework that automates the assemblage and integration of developed …

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 …

Abstract Architecture Analysis and Design Language (AADL) has been utilized to specify
and verify non-functional properties of Real-Time Embedded Systems (RTES) used in …