Model Based System Engineering (MBSE) has shown promising results for early design
verification of embedded systems. It requires to specify system properties/constraints at …

As a promising requirement-level specification language for timing behavior modeling, the
clock constraint specification language (CCSL) has become popular in the model-driven …

Software development for Cyber-Physical Systems (CPS), eg, autonomous vehicles,
requires both functional and non-functional quality assurance to guarantee that the CPS …

Control-command systems must usually satisfy a set of high-level end-to-end timing
constraints to ensure their correctness. We propose a formal approach to verify these …

Modeling and analysis of nonfunctional requirements is crucial in automotive systems. East-
adl is an architectural language dedicated to safety-critical automotive system design. We …

Modeling and analysis of non-functional properties, such as timing constraints, is crucial in
automotive real-time embedded systems. East-adl is a domain specific architectural …

Modeling and analysis of precise non-functional properties, such as energy and timing
constraints, is key to the correct development of automotive systems. Automotive …

Many industrial systems are hybrid by nature, most often being made of a discrete controller
that senses and regulates the execution of a plant characterized by continuous dynamics …

CADS (cooperative autonomous driving systems) are software‐intensive and safety‐critical
reactive systems and give great promise to our daily life, but system errors may not be …

Formal analysis of functional and non-functional requirements is crucial in cyber-physical
systems (CPS), in which controllers interact with physical environments. The continuous time …