Modelowanie architektury zintegrowanych systemów awionicznych

Michałowski, P.; Zubko, W.

Artykuł - szczegóły

Tytuł artykułu

Modelowanie architektury zintegrowanych systemów awionicznych

Autorzy

Michałowski P. , Zubko W.

Wybrane pełne teksty z tego czasopisma

Identyfikatory

Warianty tytułu

Modeling the architecture of integrated avionics systems

Języki publikacji

Abstrakty

Coraz większe możliwości sprzętu komputerowego są przyczyną podwyższenia wymagań na nowe, bardziej złożone funkcje zintegrowanych systemów awionicznych. Prowadzi to do znacznego powiększenia stopnia złożoności systemu, a w konsekwencji do ryzyka pojawienia się błędów. Jednym ze sposobów rozwiązania tego problemu jest prowadzenie projektów według metodyki opartej na modelach, np. MDE (Model Driven Engineering). W pracy do modelowania został wykorzystany język AADL (Architecture Analysis & Design Language), który ze względu na swoje właściwości (opis struktury i parametrów systemu, modyfikowalność) dobrze opisuje architekturę zintegrowanego systemu awionicznego. W artykule przedstawiono model architektury zintegrowanego systemu awionicznego śmigłowca. Omówiono sposoby i narzędzia badania uzyskanego modelu oraz możliwości jego wykorzystania na różnych etapach cyklu projektowego.

Growing capabilities of the computer hardware are a reason for appearing of requirements to new more complex functions of integrated avionics systems. It is causing that the systems complexity, and in consequence the risk of the appearance of errors are increasing. In order to reduce these problem, it is recommended to conduct projects according to well-known methodology based on e.g. Model- Driven Engineering. In the article, there are discussed a model of the architecture of the integrated avionics system for helicopter and methods of its analysis.

Słowa kluczowe

awionika system awioniczny modelowanie AADL

avionics avionics system modelling model driven engineering MDE Architecture Analysis & Design Language AADL

Wydawca

Oficyna Wydawnicza Politechniki Rzeszowskiej

Czasopismo

Zeszyty Naukowe Politechniki Rzeszowskiej. Mechanika

Rocznik

2011

Tom

z. 83(279), nr 2

Strony

59--68

Opis fizyczny

Bibliogr. 14 poz., rys.

Twórcy

autor

Michałowski P.

autor

Zubko W.

Instytut Techniczny Wojsk Lotniczych

Bibliografia

[1] Delange J., Pautet L., Plantec A., Kerboeuf M., Singhoff F., Kordon F.: Validate, simulate, and implement ARINC653 systems using the AADL, ACM SIGAda Ada Letters Archive, vol. 29(3), 2009, s. 31-44.
[2] Feiler P.H., Gluch D.P., Hudak J.J.: The Architecture Analysis & Design Language (AADL): An introduction, Technical report, SEI, Carnegie Mellon University, 2006.
[3] Feiler P.H., Gluch D.P., Hudak J.J., Levis B.A.: Embedded system architecture analysis using SAE AADL, Technical note, CMU/SEI-2004-TN-005, SEI, Carnegie Mellon University, 2004.
[4] Hudak J.J., Feiler P.H.: Developing AADL models for control systems: A practitioner's guide, SEI, Carnegie Mellon University, 2007.
[5] Januzaj V., Mauersberger R., Biechele F.: Performance modelling for avionics systems, [in:] EUROCAST 2009, R. Moreno-Díaz (ed.), Springer-Verlag, Berlin Heidelberg 2009, s. 833-840.
[6] Renault X., Kordon F., Huguens J.: From AADL architectural models to Petri nets: Checking model viability, IEEE International Symposium on Object/Component/Service-Oriented Real-Time Computing, 2009, s. 313-320.
[7] Rugina A.E.: Dependability modeling and evaluation - from AADL to stochastic Petri nets, Systèmes. Informatiques. Toulouse: PhD dissertation in LAAS CNRS, Toulouse 2007.
[8] Sioutis C., Nguyen T.: Modelling airborne mission systems using the Architecture Analysis and Design Language, Proc. 18th World IMACS/MODSIM Congress, Cairns, Australia 13-17 July 2009, http://mssanz.org.au/modsim09
[9] Society of automotive engineers: Getting started with the AADL and OSATE: An introductory tutorial using the AADL textual and object model editors, SEI, Carnegie Mellon University, 2007.
[10] Society of automotive engineers: SAE standards: Architecture Analysis & Design Language (AADL), AS5506 (11/2004), AS5506/1 (06/2006).
[11] Sokolsky O., Lee I., Clarke D.: Schedulability analysis of AADL models, Proc. 20th IEEE International Parallel & Distributed Processing Symposium, 2006.
[12] http://beru.univ-brest.fr/~singhoff/cheddar/
[13] http://beru.univ-brest.fr/~singhoff/chedlolar/#Ref1
[14] http://homepages.laas.fr/surf4tst/what-uk.html

Typ dokumentu

Bibliografia

Identyfikator YADDA

bwmeta1.element.baztech-article-PWA9-0055-0006