773 Hits in 4.1 sec

An ADL Centric Approach for the Formal Design of Real-Time Systems [chapter]

Sébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet
IFIP The International Federation for Information Processing  
This paper presents the REACT project, dedicated to real-time system design.  ...  It emphasizes on the ADL of REACT (CLARA), and the validation of functional architectures using formal techniques.  ...  Design process The REACT project aims at offering a set of formal modelling and verification facilities in an unified framework for the rigorous architectural design of real-time systems.  ... 
doi:10.1007/0-387-24590-1_5 dblp:conf/ifip/FaucouDT04 fatcat:znp7sjc54fch5nkfew24gxco5q

p-ADL for WS-Composition: A Service-Oriented Architecture Description Language for the Formal Development of Dynamic Web Service Compositions

Flávio Oquendo
2008 Brazilian Symposium on Software Components, Architectures and Reuse  
Enabling the specification of dynamic service-oriented architectures is a key challenge for an Architecture Description Language (ADL).  ...  It is a formal language specially designed for modeling dynamic architectures based on the typed π-calculus.  ...  Section 2 introduces the approach and core concepts of π-ADL for WS-Composition.  ... 
dblp:conf/sbcars/Oquendo08 fatcat:dhx6ckup4zfkhplpcayq7c56q4

An Emerging Need for a New Software Engineering Method

Isabelle Perseil, Laurent Pautet
2009 2009 14th IEEE International Conference on Engineering of Complex Computer Systems  
The strong convergence of recent modeling languages, development processes and methodologies for developing real-time systems underlines a set of requirements for a more methodical approach.  ...  This paper presents the issues related to the lack of method in the field of software engineering for real-time systems (in particular, avionic systems).  ...  lifecycle is obvious • It is missing specially because critical real-time systems need to be formally checked • to have a support of formal languages in the earliest steps of the design -13-AAA Strong  ... 
doi:10.1109/iceccs.2009.40 dblp:conf/iceccs/PerseilP09 fatcat:uqpjsirlwzc23gyi3ncfs2itbe

Knowledge Management in Software Architecture: State of the Art [chapter]

Rik Farenhorst, Remco C. de Boer
2009 Software Architecture Knowledge Management  
Architectural knowledge has played a role in discussions on design, reuse, and evolution for over a decade.  ...  In this chapter, we discuss the state-of-the-art in architectural knowledge management. We describe four main views on architectural knowledge based on the results of a systematic literature review.  ...  Although not all ADLs are suitable for use in run-time dynamic systems, all ADLs are based on the same component-connector graph-like representation of architectures (cf. [33] ).  ... 
doi:10.1007/978-3-642-02374-3_2 fatcat:5xds3xfhirdvnlrrapvkz6n7na

From Requirements to code: an Architecture-centric Approach for producing Quality Systems [article]

Antonio Bucchiarone, Davide Di Ruscio, Henry Muccini, Patrizio Pelliccione
2009 arXiv   pre-print
In this chapter by combining different technologies and tools for analysis and development, we propose an architecture-centric model-driven approach to validate required properties and to generate the  ...  Model-based specifications of a component-based system permit to explicitly model the structure and behaviour of components and their integration.  ...  Acknowledgment The authors of this chapter wish to thank the anonymous reviewers for their careful and useful comments.  ... 
arXiv:0910.0493v1 fatcat:zenl4r3ohvg37kn65k4vgkn3nm

An Architecture-Centric Approach for Information System Architecture Modeling, Enactement and Evolution [chapter]

Herv Verjus, Sorana Cmpan, Ilham Alloui
2012 Innovative Information Systems Modelling Techniques  
evolution New client: The virtual machine can only interpret the core ArchWare ADL language(Morisson et al., 2004) An Architecture-Centric Approach for Information System Architecture Modeling  ...  The changes presented here were planned during the architecture design. The property checking takes place at design time too as the system evolves only in an anticipated way.  ...  An Architecture-Centric Approach for Information System Architecture Modeling, Enactement and Evolution  ... 
doi:10.5772/36808 fatcat:sc7gqemiebanlho3fsfgqbucly

A Practical Architecture-Centric Analysis Process [chapter]

Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione
2006 Lecture Notes in Computer Science  
In this paper we propose an architecture-centric analysis process which allows formal analysis driven by model-based architectural specifications.  ...  Software Architectures (SA) can help improving the overall system dependability, providing a system blueprint that can be validated and that can guide all phases of the system development.  ...  Acknowledgements The authors wish to thank Siemens C.N.X. and Terma GmbH for their contribution with the case studies.  ... 
doi:10.1007/11921998_13 fatcat:ae5ufzjidbfsrpqthpisnn5qo4

Optimal Product Line Architectures for the Automotive Industry

Tobias Wägemann, Ramin Tavakoli Kolagari, Klaus Schmid
2018 Modellierung  
The applicability of the chosen approach is shown by means of applying a commercial tool for multi-criteria decision making.  ...  Finding optimal product line architectures as part of the system design process requires the consideration of a variety of trade-offs.  ...  as part of a product line conĄguration, but is instead decided at the time of system design.  ... 
dblp:conf/modellierung/WagemannKS18 fatcat:qvwllvaqwnd2xmf2urikzmoq3i

Moving architectural description from under the technology lamppost

Nenad Medvidovic, Eric M. Dashofy, Richard N. Taylor
2007 Information and Software Technology  
The Unified Modeling Language (UML) has gained popularity and wide adoption, and many of the ADLs we studied have been pushed into obscurity.  ...  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.  ...  The content of the information does not necessarily reflect the position or the policy of the Government or any sponsor and no official endorsement should be inferred.  ... 
doi:10.1016/j.infsof.2006.08.006 fatcat:r2ckqo3gubgg3hkkgdjvqla3m4

A Framework for Classifying and Comparing Architecture-centric Software Evolution Research

P. Jamshidi, M. Ghafari, A. Ahmad, C. Pahl
2013 2013 17th European Conference on Software Maintenance and Reengineering  
Architecture-centric software evolution (ACSE) is considered as an approach to support software adaptation at a controllable level of abstraction in order to survive in the uncertain environment.  ...  Existing research and practices comprise a wide spectrum of evolution-centric approaches in terms of formalisms, methods, processes and frameworks to tackle ACSE as well as empirical studies to consolidate  ...  ACKNOWLEDGMENTS The authors would like to thank the following persons for their feedback and thoughtful suggestions regarding the methodology, data and the final report: Jim Buckely, Jeffrey M.  ... 
doi:10.1109/csmr.2013.39 dblp:conf/csmr/JamshidiGAP13 fatcat:rdyjnzodebb3lpkgtbqxe2vgsq

Formal requirement and architecture specifications of a multi-agent robotic system [article]

Nadeem Akhtar, Yann Le Guyadec, Flavio Oquendo
2015 arXiv   pre-print
One of the most challenging tasks in specification engineering for a multi-agent robotic system is to formally specify and architect the system, especially as a multi-agent robotic system is concurrent  ...  This paper proposes the formal requirement and architecture specifications aspects of an approach that supports analysis with respect to functional as well as non-functional properties by step-wise refinement  ...  The design of -ADL are based on [9] [14] [15] and follows the language design principles found in [10] .  ... 
arXiv:1501.05153v1 fatcat:z2i5lkmahnhs3l2sl6xyf6acua

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  ...  the data needed, and completing and reviewing the collection of information.  ...  Outline Challenges in Safety-critical Software-intensive systems An Architecture-centric Virtual Integration Strategy with SAE AADL Improving the Quality of Requirements Architecture Fault Modeling  ... 
doi:10.1145/2663171.2663174 dblp:conf/sigada/Feiler14 fatcat:mddvd4nlurh65o6zopy5jrziay

Processor Modeling and Design Tools [chapter]

Prabhat Mishra, Nikil Dutt
2006 Industrial Information Technology  
Time-to-market pressure coupled with short-product lifetimes create a critical need for design automation in processor development.  ...  The ADL specification is also used to perform various design automation tasks including hardware generation and functional verification of the processor.  ...  The tasks include support for formal analysis, generation of real-time operating systems (RTOS), exploration of communication architectures, and support for interface synthesis.  ... 
doi:10.1201/9781420007947.ch8 fatcat:azirpu6yajf2dkvpiiqhecdise

Preface to the special issue: Architecture-Driven Semantic Analysis of Embedded Systems

Jérôme Hugues, Oleg Sokolsky
2015 Science of Computer Programming  
OATAO is an open access repository that collects the work of Toulouse researchers and makes it freely available over the web where possible.  ...  This is an author-deposited version published in : Eprints ID : 14203 To link to this article:  ...  For a DRE, timing and resource availability form an important part of the system requirements.  ... 
doi:10.1016/j.scico.2015.05.002 fatcat:dhks2qgsorb5del35guravkgli

Component-based perspective on software mismatch detection and resolution

A. Egyed, N. Medvidovic, C. Gacek
2000 IEE Proceedings - Software  
Furthermore, related works of other researchers have done similar things for other types of ADLs and architectural styles (e.g., [27] for a specific type of layered style, [28] for real-time styles  ...  It constrains both the design elements and the formal relationships among the design elements [6] .  ... 
doi:10.1049/ip-sen:20000915 fatcat:7r2jqmf52rgx7pznbl7pvklrme
« Previous Showing results 1 — 15 out of 773 results