A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Integrating AADL-Based Tool Chain into Existing Industrial Processes
2011
2011 16th IEEE International Conference on Engineering of Complex Computer Systems
Preserved Fulltext
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
2013
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2013
Journal of systems architecture
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2015
International Conference on High Performance Embedded Architectures and Compilers
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2016
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2014
Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology - HILT '14
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2007
Rapid System Prototyping (RSP), Proceedings of the IEEE International Workshop on
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2007
ACM SIGBED Review
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2019
International Journal on Software Tools for Technology Transfer (STTT)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2008
2008 Seventh European Dependable Computing Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2008
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2015
Proceedings of the 52nd Annual Design Automation Conference on - DAC '15
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2015
Communications in Computer and Information Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
, 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
2013
2013 International Symposium on Rapid System Prototyping (RSP)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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