![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
2nd ACES-MB@MoDELS 2009: Denver, CO, USA
- Stefan Van Baelen, Thomas Weigert, Ileana Ober:
Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ( ACES-MB 2009 ), held as part of the 2009 International Conference on Model Driven Engineering Languages and Systems ( MoDELS'09 ) Denver, Colorado, USA, October 6, 2009. CEUR Workshop Proceedings 507, CEUR-WS.org 2009 - Marco Di Natale:
preface.
Domain-Specific Languages for Embedded Systems
- Daniela Cancila, François Terrier, Fabien Belmonte, Hubert Dubois, Huáscar Espinoza, Sébastien Gérard, Arnaud Cuccuru:
SOPHIA: a Modeling Language for Model-Based Safety Engineering. - Emeka Eyisi, Joseph Porter, Joe Hall, Nicholas Kottenstette, Xenofon D. Koutsoukos, Janos Sztipanovits:
PaNeCS: A Modeling Language for Passivity-based Design of Networked Control Systems.
Analysis and Formalization
- Christo Angelov, Krzysztof Sierszecki, Yu Guo:
Formal Design Models for Distributed Embedded Control Systems. - Lili Tan, Björn Wachter, Philipp Lucas, Reinhard Wilhelm:
Improving Timing Analysis for Matlab Simulink/Stateflow.
AADL
- Mohamed Yassin Chkouri, Marius Bozga:
Prototyping of Distributed Embedded Systems Using AADL. - Dries Langsweirdt, Yves Vandewoude, Yolande Berbers:
Towards Intelligent Tool-Support for AADL Based Modeling of Embedded Systems. - Marco Bozzano
, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri:
Model-Based Codesign of Critical Embedded Systems.
Variability and Reconfiguration
- Johan Ersfolk, Johan Lilius, Jari Muurinen, Ari Salomäki, Niklas Fors, Johnny Nylund:
Design Complexity Management in Embedded System Design. - Goetz Botterweck, Andreas Polzer, Stefan Kowalewski:
Using Higher-order Transformations to Derive Variability Mechanism for Embedded Systems. - Basil Becker, Holger Giese, Stefan Neumann, Martin Schenck, Arian Treffer:
Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration.
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.