Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(10)
Analytical Model
Architecture Analysis
Architecture Description Language
Case Study
Computer Architecture
Integrated Modular Avionics
System Analysis and Design
System Design
System Integration
Unified Modeling Language
Subscribe
Academic
Publications
Integrating AADL-Based Tool Chain into Existing Industrial Processes
Edit
Integrating AADL-Based Tool Chain into Existing Industrial Processes
BibTex
|
RIS
|
RefWorks
Download
Alexey Khoroshilov
,
Igor Koverninskiy
,
Alexander Petrenko
,
Alexander Ugnenko
The paper presents a
case study
of building solution for automation of
Integrated Modular Avionics
system design
and
system integration
processes within existing industrial environment on base of model driven approaches. Features of modern
architecture description language
are discussed and experience of building a tool chain on top of one of them is described.
Conference:
International Conference on Engineering of Complex Computer Systems - ICECCS
, 2011
DOI:
10.1109/ICECCS.2011.45
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
ieeexplore.ieee.org
)
(
ieeexplore.ieee.org
)
References
(4)
Cheddar: a flexible real time scheduling framework
(
Citations: 28
)
Frank Singhoff
,
Jérôme Legrand
,
Laurent Nana
,
Lionel Marcé
Conference:
SIGAda Conference - SIGAda
, pp. 1-8, 2004
Validating requirements at model-level
(
Citations: 4
)
Olivier GILLES
,
Jérôme HUGUES
Safety, Dependability, and Performance Analysis of Extended AADL Models
(
Citations: 8
)
Marco Bozzano
,
Alessandro Cimatti
,
Joost-Pieter Katoen
,
Viet Yen Nguyen
,
Thomas Noll
,
Marco Roveri
Journal:
The Computer Journal - CJ
, vol. doi: 10.10, no. 7, 2010
Formal Verification and Validation of AADL Models
(
Citations: 3
)
Marco Bozzano
,
Roberto Cavada
,
Alessandro Cimatti
,
Joost-Pieter Katoen
,
Viet Yen Nguyen
,
Thomas Noll
,
Xavier Olive
Published in 2010.