287 Hits in 6.2 sec

Integrating Product-Line Fault Tree Analysis into AADL Models

Hongyu Sun, Miriam Hauptman, Robyn Lutz
2007 10th IEEE High Assurance Systems Engineering Symposium (HASE'07)  
This paper describes a tool-supported approach to integrate product-line FTA into AADL (Architecture Analysis and Design Language) models and associated AADL Error Models of a product line.  ...  The AADL Error-Annex-compatible format allows automated derivation of basic quantitative and cut set analyses for each product-line member to help identify and eliminate design weaknesses.  ...  We thank David Gluch for introducing us to AADL and providing us with AADL-related information.  ... 
doi:10.1109/hase.2007.28 dblp:conf/hase/SunHL07 fatcat:gvrdw5yxn5g7jelwkeql7e72cy


Josh Dehlinger, Joanne Bechta Dugan
2008 Nuclear Engineering and Technology  
Brown Department of Electrical and Computer Engineering at the University of Virginia.  ...  Sun, Hauptman and Lutz in developed a tool to manually associate a user-built, product-line software fault tree analysis [25] with the related product-line AADL models with the intention of extending  ...  The work presented in this article differs from that of [26] in that we advocate for the automatic derivation of DFTs directly from the AADL architectural model to ensure the accurate reflection of the  ... 
doi:10.5516/net.2008.40.5.365 fatcat:xhvydiudzngqbj5yykaqaiaida

Modeling Software

John D. McGregor
2009 Journal of Object Technology  
A number of modeling languages have emerged to support software development methods that are guided mainly by models of the product being built.  ...  In this issue of Strategic Software Engineering I will consider some of these languages, but more importantly, I will consider how they can be made more effective by integrating models from several languages  ...  Paul Venhovens, BMW Endowed Chair in Systems Integration at Clemson University, for his review and comments,  ... 
doi:10.5381/jot.2009.8.1.c1 fatcat:xsa6zugo4fed7pgr2ac7jwlzue

Variability Management in Safety-Critical Software Product Line Engineering [chapter]

André Luiz de Oliveira, Rosana T. V. Braga, Paulo C. Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly
2018 Lecture Notes in Computer Science  
However, the adoption of an SPLE approach for developing safety-critical systems demands the integration of safety engineering into SPLE processes.  ...  Safety-critical systems developed upon SPLE approach have to address safety standards, which establish guidance for analyzing and demonstrating dependability properties of the system at different levels  ...  Due to the benefits of large-scale reuse, Software Product Line Engineering (SPLE) and component-based approaches have been largely adopted by the industry in the development of SCS, especially in automotive  ... 
doi:10.1007/978-3-319-90421-4_1 fatcat:z3ytmluiv5gw3lvzit7bghyxcy

Qualitative Comparison of ADL-Based Approaches to Real-World Automotive System Development

Shin'ichi Shiraishi
2013 Journal of Information Processing  
In this paper, the detailed modeling steps for both approaches are explained through a real-world automotive development example: a cruise control system.  ...  This paper presents two different model-based approaches that use multiple architecture description languages (ADLs) for automotive system development.  ...  Sects. 3.3.2 and 3.4.2 (6) Large-Scale Product Line Variability Modeling Sect. 4.1 or more details in [20].  ... 
doi:10.2197/ipsjjip.21.34 fatcat:fn26mmlikbel3naqvxgnpabax4

Moving architectural description from under the technology lamppost

Nenad Medvidovic, Eric M. Dashofy, Richard N. Taylor
2007 Information and Software Technology  
In 2000, we published an extensive study of existing software architecture description languages (ADLs), which has served as a useful reference to software architecture researchers and practitioners.  ...  systems and development organizations exist.  ...  Any opinions, findings, and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of the National Science Foundation.  ... 
doi:10.1016/j.infsof.2006.08.006 fatcat:r2ckqo3gubgg3hkkgdjvqla3m4

AADL: A Language to Specify the Architecture of Cyber-Physical Systems [chapter]

Dominique Blouin, Etienne Borde
2020 Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems  
different levels of abstraction of requirements, functional architecture, physical architecture, software architecture and deployment. • Modelling reusable component libraries and product families. •  ...  This chapter is devoted to formalisms for describing system architectures, and in particular to the Architecture Analysis and Design Language (AADL).  ...  architectures in AADL.  ... 
doi:10.1007/978-3-030-43946-0_8 fatcat:plzjojxwmfba5ifkqxlfydpq2i

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 paper is the result of discussions and exchanges that took place within the second edition of the workshop "UML&AADL" ( thatwas hold in 2007 in Auckland  ...  New software development approaches and methods must therefore be found to free engineers from the even more complex technical constraints of development and to enable them to concentrate on their core  ...  product is developed from which the individual members of the product line are derived, thus shifting the focus of development from the individual product to the product line as a whole.  ... 
doi:10.1145/1366546.1366547 fatcat:veblhmfqxfbb7jez3cika6mn7q

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 addresses the modelling and deployment of distributed systems containing heterogeneous software and hardware components; it focuses on the automation of tedious, error-prone tasks that usually make  ...  ASN.1 permits a non-ambiguous representation of types in a language which is independent from implementation languages, and allows to derive automatic marshallers that follow any kind of binary encoding  ... 
doi:10.1007/978-3-642-25264-8_4 fatcat:fyfrdxcvkjg5dfa6753tqj2coi

From the prototype to the final embedded system using the Ocarina AADL tool suite

Jerome Hugues Get, Bechir Zalila Get, Laurent Pautet Get, Fabrice Kordon
2008 ACM Transactions on Embedded Computing Systems  
In this article, we show how the AADL (Architecture Analysis and Design Language), appeared late 2004, helps solve 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.  ...  Perottin and the other members of the IST-ASSERT project for their provided case studies and their feedback on earlier version of this work.  ... 
doi:10.1145/1376804.1376810 fatcat:sud6elkgdjdidg3skn5jaojj5m

Pay me now or pay me more later

John D. McGregor
2008 Journal of Object Technology  
I want to consider an example involving software architecture definition in this issue of Strategic Software Engineering and attempt to illustrate both the new technique and the issues that are raised  ...  AADL also has a broader range of element types than ArchE so more detail can be added to the model including a characterization of the deployment environment for products developed from the architecture  ...  The scenarios are captured in ArchE, an architecture expert tool developed by the Software Engineering Institute[SEI 08].  ... 
doi:10.5381/jot.2008.7.4.c1 fatcat:hy5rbl2av5ehdpycsxft4qqhsu

Architecture Models Refinements for Software Development of Critical Real-time Embedded Systems [article]

Etienne Borde
2019 arXiv   pre-print
Software development of CPS has become so difficult that it represents most of the cost of CPS production.  ...  In order to the improve the reliability of software development in the domain of CPS, we propose a Model Driven Engineering (MDE) method based on step-wise refinements of software architecture descriptions  ...  In addition, Model Driven Engineering (MDE) advocates for the use of models in order to improve the development process of software applications and in order to increase products quality.  ... 
arXiv:1911.10457v1 fatcat:z2lq4wx32zcipniorvxewxclsa

Model-driven derivation of product architectures

Goetz Botterweck, Liam O'Brien, Steffen Thiel
2007 Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering - ASE '07  
Product Derivation is one of the central activities in Software Product Lines (SPL).  ...  The approach derives the product-specific architecture by selectively copying elements from the product-line architecture.  ...  INTRODUCTION Software product line engineering (SPLE) aims to develop software applications and software-intensive systems using platforms and mass customization [3, 11] .  ... 
doi:10.1145/1321631.1321711 dblp:conf/kbse/BotterweckOT07 fatcat:5fpus4m6mjdhlelrrvjitmrxai

Model Transformation for Multi-objective Architecture Optimisation of Dependable Systems [chapter]

Zhibao Mian, Leonardo Bottaci, Yiannis Papadopoulos, Septavera Sharvia, Nidhal Mahmud
2015 Advances in Intelligent Systems and Computing  
The transformation (with transformation rules written in ATLAS Transformation Language (ATL)) has been implemented as a plug-in for the AADL model development tool OSATE (Open-source AADL Tool Environment  ...  Model-based engineering (MBE) promises a number of advantages for the development of embedded systems.  ...  The test system is developed in AADL development tool OSATE and OSATE can automatically validate the validity of the developed system in the context of AADL.  ... 
doi:10.1007/978-3-319-08964-5_6 fatcat:oo24bcqhhfabxazofdypowfmjy

Defining and Validating a Multimodel Approach for Product Architecture Derivation and Improvement [chapter]

Javier González-Huerta, Emilio Insfrán, Silvia Abrahão
2013 Lecture Notes in Computer Science  
In software product line (SPL) development, it is crucial to identify whether the NFRs for a specific product can be attained with the built-in architectural variation mechanisms of the product line architecture  ...  Software architectures are the key to achieving the non-functional requirements (NFRs) in any software project.  ...  improvement of product architectures in a model-driven software product line development process.  ... 
doi:10.1007/978-3-642-41533-3_24 fatcat:vinymfzxmfdejckgdy2jcb3mfu
« Previous Showing results 1 — 15 out of 287 results