𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2011 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) - Las Vegas, NV, USA (2011.04.27-2011.04.29)] 2011 16th IEEE International Conference on Engineering of Complex Computer Systems - A Tool Set for Integrated Software and Hardware Dependability Analysis Using the Architecture Analysis and Design Language (AADL) and Error Model Annex

✍ Scribed by Hecht, Myron; Lam, Alexander; Vogl, Chris

Book ID: 121476153
Publisher: IEEE
Year: 2011
Weight: 261 KB
Category: Article
ISBN: 1612848532
DOI: 10.1109/ICECCS.2011.44

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2011 16th IEEE International Confe

[IEEE 2011 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) - Las Vegas, NV, USA (2011.04.27-2011.04.29)] 2011 16th IEEE International Conference on Engineering of Complex Computer Systems - Towards a MDE Transformation Workflow for Dependability Analysis

✍ Montecchi, Leonardo; Lollini, Paolo; Bondavalli, Andrea 📂 Article 📅 2011 🏛 IEEE ⚖ 670 KB

[IEEE 2011 16th IEEE International Confe

[IEEE 2011 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) - Las Vegas, NV, USA (2011.04.27-2011.04.29)] 2011 16th IEEE International Conference on Engineering of Complex Computer Systems - Two Formal Semantics of a Subset of the AADL

✍ Yang, Zhibin; Hu, Kai; Bodeveix, Jean-Paul; Pi, Lei; Ma, Dianfu; Talpin, Jean-Pi 📂 Article 📅 2011 🏛 IEEE ⚖ 388 KB

[IEEE 2011 16th IEEE International Confe

[IEEE 2011 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) - Las Vegas, NV, USA (2011.04.27-2011.04.29)] 2011 16th IEEE International Conference on Engineering of Complex Computer Systems - An Implementation of the Behavior Annex in the AADL-Toolset Osate2

✍ Lasnier, Gilles; Pautet, Laurent; Hugues, Jérôme; Wrage, Lutz 📂 Article 📅 2011 🏛 IEEE ⚖ 623 KB

[IEEE 2011 16th IEEE International Confe

[IEEE 2011 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) - Las Vegas, NV, USA (2011.04.27-2011.04.29)] 2011 16th IEEE International Conference on Engineering of Complex Computer Systems - A Model-Driven Framework for the Development of Portable Real-Time Embedded Systems

✍ Chehade, W. El Hajj; Radermacher, A.; Terrier, F.; Selic, B.; Gérard, S. 📂 Article 📅 2011 🏛 IEEE ⚖ 524 KB

[IEEE 2011 18th IEEE International Confe

[IEEE 2011 18th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS) - Las Vegas, NV, USA (2011.04.27-2011.04.29)] 2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems - Hardware/Software Communication Middleware for Data Adaptable Embedded Systems

✍ Mahadevan, Sachidanand; Gopinath, Vijay Shankar; Lysecky, Roman; Sprinkle, Jonat 📂 Article 📅 2011 🏛 IEEE ⚖ 446 KB

[IEEE 2011 18th IEEE International Confe

[IEEE 2011 18th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS) - Las Vegas, NV, USA (2011.04.27-2011.04.29)] 2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems - Message Modeling for the Joint Architecture for Unmanned Systems (JAUS)

✍ Whitsitt, Sean; Sprinkle, Jonathan 📂 Article 📅 2011 🏛 IEEE ⚖ 641 KB