Szczegóły publikacji
Opis bibliograficzny
Consistency preserving development of embedded systems using AADL / Tomasz SZMUC, Wojciech SZMUC // W: MIXDES 2020 [Dokument elektroniczny] : proceedings of 27th international conference Mixed Design of integrated circuits and systems : Łódź, Poland, June 25–27, 2020 / ed. by Andrzej Napieralski. — Wersja do Windows. — Dane tekstowe. — Łódź : Lodz University of Technology, cop. 2020. — Dod. e-ISBN: 978-83-63578-18-3 ; Print on Demand(PoD) ISBN: 978-1-7281-9781-4. — e-ISBN: 978-83-63578-17-6. — S. 245–248. — Wymagania systemowe: Adobe Reader. — Tryb dostępu: https://www.mixdes.org/downloads/MIXDES2020.pdf [2020-08-27]. — Bibliogr. s. 248, Abstr. — Publikacja dostępna online od: 2020-08-04. — Toż po adresem https://ieeexplore-1ieee-1org-1000047s4002e.wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp=&arnumber=9155806
Autorzy (2)
Słowa kluczowe
Dane bibliometryczne
| ID BaDAP | 129751 |
|---|---|
| Data dodania do BaDAP | 2020-09-04 |
| Rok publikacji | 2020 |
| Typ publikacji | materiały konferencyjne (aut.) |
| Otwarty dostęp |  |
| Wydawca | Politechnika Łódzka |
Abstract
Architecture Analysis and Design Language (AADL) supports consistence modeling and several analyses in designing of real-time systems. Additional features supporting modeling and analysis is proposed in the paper. The concept is based on automatic translation of AADL components into Colored Petri Net (CPN) models. The translated model may be verified using CPN tools, and also checking satisfability of requirements (described using temporal logic) in the model. The proposed extension supports detection of structural errors in early development stages.
