Medical and medication devices are real-time systems with safety and timing requirements.
They range from hard-real-time, embedded, and reactive systems such as pacemakers to …

There are many works on the satisfiability problem for various logics and constraint
languages, such as SAT and Satisfiability Modulo Theories (SMT). On the other hand, the …

This paper presents new parallel strategies for preprocessing and solving the issue of
Boolean Satisfaction (SAT) on Heterogeneous systems of multicore and many-core CPU …

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 …

Driven by the urging need to thoroughly identify and accentuate the merits of agent
technology, we present in this paper, MEANDER, an integrated framework for evaluating the …

Both specification and verification of business processes are gaining more and more
attention in the field. Most of the existing works in the last years are dealing with important …

This practice paper examines Toyota's electronic throttle controller (ETC) problem. ETC for
passenger cars is a safety-critical, embedded control system and it must meet very high …

This work tackles two research threads. The first thread evaluates the use of conventional
design versus electronic engine control by applying real-time control theory. The second …

As recognized by the research community, cyber-physical systems (CPSs) must be reliable,
secure, safe, efficient, and operate in real-time. This position paper focuses on (1) the grand …

We consider an important aspect of rational modeling: phase approximation. An algorithm is
developed to achieving optimal Chebyshev error where Remez algorithm is proved to be …