The Embedded Systems Design Challenge

By Thomas A. Henzinger, Joseph Sifakis. World Congress on Formal Methods, 2006

390 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Software Engineering for Automotive Systems: A Roadmap (2007, positive): “In accordance with the heterogeneous nature of automotive software (§2.1.1), the models are continuous, mixed discrete-continuous, and purely continuous (see [ HS06 ] for a complementary perspective).”
Modeling Heterogeneous Real-time Components in BIP (2006, background): “A central problem is the meaningful composition of heterogeneous components to ensure their correct inter-operation [12].”
Formal verification of hybrid systems (2011, background): “Model-based design offers a promising approach for detecting and correcting errors in early stages of system design [33, 37, 49].”
Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design (2007, background): “I share with a number of colleagues [111], [112], [131], [135], [176], [188], [208] (this list also provides an excellent set of references for the state-of-the-art and directions for embedded system design) the strong belief that a new design science must be developed to address the challenges…”