Filters








336 Hits in 4.8 sec

Integrating AADL-Based Tool Chain into Existing Industrial Processes

Alexey Khoroshilov, Igor Koverninskiy, Alexander Petrenko, Alexander Ugnenko
2011 2011 16th IEEE International Conference on Engineering of Complex Computer Systems  
analysis Our Needs  AADL IDE  AADL textual&graphical editor  AADL parser&semantic checker  AADL model  Analysis and generation tools integration  Transformation AADL to other models  System Design  ...  Process Integration Model for resource allocation analysis Model for test stand configuration Detailed Specification Design Document No good traceability between elements of diagrams System  ... 
doi:10.1109/iceccs.2011.45 dblp:conf/iceccs/KhoroshilovKPU11 fatcat:nq6rwzxffzgobdxiecs3qdhxqi

Toward Polychronous Analysis and Validation for Timed Software Architectures in AADL

Yue Ma, Huafeng Yu, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin, Loic Besnard, Maurice Heitz
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013  
This paper presents our recent contributions to cope with clock-based timing analysis and validation of software architectures specified in AADL.  ...  In addition, thread-level scheduling, based on affine clock relations is also briefly presented here.  ...  In this way, model transformations are independent of different low-level metamodels and heterogeneous models are easily integrated into the tool chain; 2) most AADL components are considered in order  ... 
doi:10.7873/date.2013.244 dblp:conf/date/MaYGGTBH13 fatcat:3e74zb24e5ewjl5n2m5jfqp45u

Polychronous modeling, analysis, verification and simulation for timed software architectures

Huafeng Yu, Yue Ma, Thierry Gautier, Loïc Besnard, Paul Le Guernic, Jean-Pierre Talpin
2013 Journal of systems architecture  
This paper presents our main contribution in this aim by considering embedded systems architectural modeling in AADL and functional modeling in Simulink; an original clock-based timing analysis and validation  ...  In order to avoid semantics ambiguities of AADL and Simulink, their features related to real-time and logical time properties are first studied.  ...  In this way, model transformations are independent of different lowlevel metamodels and heterogeneous models are easily integrated into the tool chain; 2) most AADL components are considered in order to  ... 
doi:10.1016/j.sysarc.2013.08.004 fatcat:jadqwaxynrfrxg3qptdovw33om

Distributed Mils (D-Mils) Specification, Analysis, Deployment, And Assurance Of Distributed Critical Systems

Harald Rueß, Stefano Tonetta
2015 International Conference on High Performance Embedded Architectures and Compilers  
properties, develop GSN assurance case, synthesize platform configuration, using integrated tool chain leveraging existing verification technology (nuSMV, OCRA, BIP, AF3) D-MILS Research and Technology  ...  Integration GSN & AADL Graphical & Declarative Languages Compositional Verification Compositional Assurance Case Representation Semantics and Transformations Pre-existing products LSK  ... 
doi:10.5281/zenodo.47985 dblp:conf/hipeac/RuessT15 fatcat:ovbvzpwbarh5dmeckjxa3ru2e4

TASTE: A Real-Time Software Engineering Tool-Chain Overview, Status, and Future [chapter]

Maxime Perrotin, Eric Conquet, Julien Delange, André Schiele, Thanassis Tsiodras
2011 Lecture Notes in Computer Science  
It consists in an open-source tool-chain dedicated to the development of embedded, real-time systems.  ...  TASTE stands for "The ASSERT Set of Tools for Engineering", in reference to the European FP6 program where it finds its roots.  ...  of modelling tools and their (evolving) code generation strategy in order to integrate all components.  ... 
doi:10.1007/978-3-642-25264-8_4 fatcat:fyfrdxcvkjg5dfa6753tqj2coi

Hardware Software Co-design for Automotive CPS using Architecture Analysis and Design Language [article]

Yuchen Zhou, John Baras, Shige Wang
2016 arXiv   pre-print
We demonstrate in this paper a method to link model based system design with real-time simulations and analysis of the architecture model.  ...  Correlated requirements and dependencies between hardware and software are emerging problems of industrial practice.  ...  Acknowledgments The authors would like to thanks Joseph D'Ambrosio, Lei Rao, Rami I Debouk from General Motors, Electrical and Controls System Lab for the inspiring discussion on AADL and its tool OSATE  ... 
arXiv:1603.05069v1 fatcat:4xuqpdi6bvc5ld3yt7kbcxhwqa

AADL and model-based engineering

Peter H. Feiler
2014 Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology - HILT '14  
Public reporting burden for the collection of information is estimated to average 1 hour per response, including the time for reviewing instructions, searching existing data sources, gathering and maintaining  ...  chain flexibility for contractor Architecture-centric Virtual Integration Practice (ACVIP) Transformation and code generation based on verified architecture specifications Testing against verified  ...  and Formal Methods Workbench Rockwell Collins and University of Minnesota Key Problem Contract-based Compositional Verification 16 months into the project Draper Labs could not hack into the  ... 
doi:10.1145/2663171.2663174 dblp:conf/sigada/Feiler14 fatcat:mddvd4nlurh65o6zopy5jrziay

Rapid Prototyping of Intrusion Detection Systems

Fabrice Kordon, Jean-Baptiste Voron, Liviu Iftode
2007 Rapid System Prototyping (RSP), Proceedings of the IEEE International Workshop on  
In this article, we show how the AADL (Architecture, Analysis and Description Language), appeared late 2005, helps solving these issues thanks to a dedicated tool-suite.  ...  Therefore, a rapid prototyping process based on automation of tedious and error-prone tasks (analysis, code generation) is required to speed up the development cycle.  ...  Rapid Prototyping Using the AADL In this section, we detail the use of AADL in a prototyping process, detailing our model processing chain, built around Ocarina and companion tools.  ... 
doi:10.1109/rsp.2007.33 dblp:conf/rsp/KordonVI07 fatcat:lidkep4r6vdwdllkxj7kurw3oi

UML&AADL '2007 grand challenges

Sébastien Gérard, Peter Feiler, Jean-Francois Rolland, Mamoun Filali, Mark-Oliver Reiser, Didier Delanote, Yolande Berbers, Laurent Pautet
2007 ACM SIGBED Review  
This has further heightened the complexity of the development process. At the same time, industrial systems, and specifically real-time embedded systems, have become increasingly software-intensive.  ...  One emerging solution is to foster model-based development by defining modeling artifacts well-suited to their domain concerns instead of asking them to write code.  ...  In this section we present the integration of xUML and AADL into a modeldriven development process.  ... 
doi:10.1145/1366546.1366547 fatcat:veblhmfqxfbb7jez3cika6mn7q

A formal approach to AADL model-based software engineering

Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel
2019 International Journal on Software Tools for Technology Transfer (STTT)  
We provide a complete tool-chain for the automatic model transformation and formal verification of AADL models.  ...  We propose a formal mapping for a real-time task model using the LNT language, and we describe how it is used for the integration of a formal verification phase in an AADL model-based development process  ...  Fig. 12 12 Fig. 12 Ocarina-CADP tool-chain Fig. 13 FCS 13 Fig. 13 FCS AADL model (process level) Fig. 14 LFR 14 Fig. 14 LFR AADL model (system level) Fig.  ... 
doi:10.1007/s10009-019-00513-7 fatcat:5r6nelejczeapmgunvozo4eafu

The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation

Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche
2008 2008 Seventh European Dependable Computing Conference  
ADAPT is a tool that aims at easing the task of evaluating dependability measures in the context of modern model driven engineering processes based on AADL (Architecture Analysis and Design Language).  ...  The latter can be processed by existing dependability evaluation tools, to compute quantitative measures such as reliability, availability, etc..  ...  [3] reports the implementation of a tool that automatically translates an AADL model into the real time process algebra ACSR (Algebra of Communicating Shared Resources), for schedulability analysis.  ... 
doi:10.1109/edcc-7.2008.14 dblp:conf/edcc/RuginaKK08 fatcat:crbqtcemmjfm7l3wgxt5nuebp4

The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation [article]

Ana E. Rugina
2008 arXiv   pre-print
ADAPT is a tool that aims at easing the task of evaluating dependability measures in the context of modern model driven engineering processes based on AADL (Architecture Analysis and Design Language).  ...  The latter can be processed by existing dependability evaluation tools, to compute quantitative measures such as reliability, availability, etc..  ...  [3] reports the implementation of a tool that automatically translates an AADL model into the real time process algebra ACSR (Algebra of Communicating Shared Resources), for schedulability analysis.  ... 
arXiv:0809.4108v1 fatcat:wbb6qsg7infnxnnhyrxfyvqpcu

The challenge of interoperability

Huafeng Yu, Prachi Joshi, Jean-Pierre Talpin, Sandeep Shukla, Shinichi Shiraishi
2015 Proceedings of the 52nd Annual Design Automation Conference on - DAC '15  
The main advantages of the proposed approach include its pervasive use of formal methods, architecture analysis and design language (AADL) and associated tools, a novel timing annex for AADL with an expressive  ...  to the wider application of MBE in the industry.  ...  Specific model-based tool chains were developed as solutions, such as [21] , for safety-relevant automotive embedded systems.  ... 
doi:10.1145/2744769.2747945 dblp:conf/dac/YuJTSS15 fatcat:dlsu7o7t4bgebgx7bv4wrlk7z4

Safety, Dependability and Performance Analysis of Aerospace Systems [chapter]

Thomas Noll
2015 Communications in Computer and Information Science  
, safety, dependability and performability of on-board computer-based aerospace systems.  ...  Our modelling language is a dialect of the Architecture Analysis and Design Language, AADL, and enables engineers to specify the system, the software, and their reliability aspects.  ...  These techniques are planned to be integrated into the toolset.  ... 
doi:10.1007/978-3-319-17581-2_2 fatcat:hzsq5z43bvbzhl5fmscvx5vnea

Enforcing software engineering tools interoperability: An example with AADL subsets

Vincent Gaudel, Alain Plantec, Frank Singhoff, Jerome Hugues, Pierre Dissaux, Jerome Legrand
2013 2013 International Symposium on Rapid System Prototyping (RSP)  
Thus, we guide the user in selecting the tools that could support its engineering process. Our contribution is illustrated in the context of the AADL Architecture Design Language.  ...  Model-Based Engineering is now a valuable asset to design complex real-time systems.  ...  AADL models interoperability issues We note several AADL processing tools exist, covering many V&V activities.  ... 
doi:10.1109/rsp.2013.6683959 dblp:conf/rsp/GaudelSPHDL13 fatcat:jwrdhxmhy5df5ps7j5w6grybme
« Previous Showing results 1 — 15 out of 336 results