Model-integrated development of embedded software

By Gabor Karsai, Janos Sztipanovits, Á. Lédeczi, T. Bapty. Proceedings of the IEEE, 2003

455 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Hardware and Architecture, Software

View Paper: https://www.semanticscholar.org/paper/6a4a4db926616ee685f471cf984287ac73c3d24f

How researchers see this paper

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

In Artificial Intelligence

1. Alberto L. Sangiovanni-Vincentelli
2. Edward A. Lee
3. Rajeev Alur
4. Kyoung-Dae Kim
5. P. Arun Raj Kumar

In Hardware and Architecture

1. Rajeev Alur
2. Alberto L. Sangiovanni-Vincentelli
3. Patricia Derler
4. Edward A. Lee
5. Kyoung-Dae Kim
6. P. Arun Raj Kumar
7. Enrico Zio

In Software

1. Rajeev Alur
2. Alberto L. Sangiovanni-Vincentelli
3. Edward A. Lee
4. Kyoung-Dae Kim
5. P. Arun Raj Kumar

Citations in the corpus

• CPS foundations (2010, methodology): “Model-based design [14], for example, has caught on in industrial practice, through the use of tools such as Simulink, Real-Time Workshop, DSpace, LabVIEW, and SCADE.”
• Cyber–Physical Systems: A Perspective at the Centennial (2012, background): “modeling languages, called domain-specific modeling language (DSML) [266].”
• Modeling Cyber–Physical Systems (2012, methodology): “Model-integrated development for embedded systems [30], [33] commonly uses actor-oriented software component models [36], [44].”
• Formal verification of hybrid systems (2011, background): “standardized formal semantics of such features (see [35] for efforts aimed at semantics-preserving transformations across modeling notations).”