SAFETY-CRITICAL software systems are part of our daily life and any error in these systems
can result in catastrophic consequences, with the worst-case scenario being loss of human …

Formal methods have emerged as an alternative approach to ensuring quality and
correctness of highly critical systems, overcoming limitations of traditional validation …

Embedded systems are ubiquitous and control many critical functions in society. A fairly new
type of embedded system has emerged with the advent of partial reconfiguration, ie. runtime …

This paper presents the design of a network master device for the multifunction vehicle bus.
An analysis of the specifications for this bus administrator reveals that the functional design …

In this paper, a smart adaptable strain gage conditioning system is presented. The system is
based on analog and digital processing to meet particularly adaptability, flexibility, and …

Embedded and real-time systems are increasingly common and complex, requiring formal
specification and verification in order to guarantee their satisfaction of desirable safety and …

Avionics, like any other safety-critical real-time systems, pose unique challenges on system
design, development, and testing. Specifically, the rigorous certification process mandated …

This paper discusses the feasibility of employing reconfigurable hardware in the avionics
systems of future generations of launch vehicles for space. Such technology has the …

Real-time logic (RTL) is useful for the verification of a safety assertion SA with respect to the
specification SP of a real-time system. Since the satisfiability problem for RTL is …

Synthesis means restricting a specification behavior such that the synthesized behavior
satisfies some given property. Previous work on the synthesis of embedded real-time system …