AADL vers BIP est de fournir une sémantique formelle définie en termes de systèmes de transitions étiquetés avant la génération du code. Contrairement à d'autre méthodologies de traduction d'AADL qui génèrent directement du code La traduction d'AADL vers BIP est effectuée pour les deux version de BIP v.1 et v.2 ,
Pour exprimer la nature d'un type de données, nous utilisons les composants de données comme illustré dans le listing 8 ,
Architecture description simulationhtml. [ADEb] Ellidiss. adele : a versatile system architecture graphical editor based on aadl A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology, 1997. ,
Scheduler modeling based on the controller synthesis paradigm, Real-Time Syst Avionics Application Software Standard Interface (arinc specification 653-1). arinc, inc Component-based modeling of heterogeneous real-time systems in bip Distributed semantics and implementation for systems with interaction and priority, www.antlr.org/. [ARI] ARINC653. Airlines electronic engineering committee (aeec)BBBS08] Ananda Basu, pp.55-84, 2002. ,
Incremental component-based construction and verification of a robotic system, Proceedings of ECAI'08, 2008. ,
Symbolic implementation of connectors in bip, 2nd Interaction and Concurrency Experience, 2009. ,
D-Finder: A Tool for Compositional Deadlock Detection and Verification, CAV, pp.614-619, 2009. ,
DOI : 10.1007/978-3-642-02658-4_45
URL : https://hal.archives-ouvertes.fr/hal-00722550
Modeling heterogeneous real-time components in bip, Proceedings of SEFM '06, pp.3-12, 2006. ,
Compositional verification for component-based systems and application, Proceedings of ATVA'08, pp.64-79, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00568866
The FRACTAL component model and its support in Java, Software: Practice and Experience, vol.6, issue.11-12, pp.11-12, 2006. ,
DOI : 10.1002/spe.767
First experiments with the atl model transformation language : Transforming xslt into xquery, 2003. ,
The IF Toolset, Proceedings of SFM'04, pp.237-267, 2004. ,
DOI : 10.1007/978-3-540-30080-9_8
URL : https://hal.archives-ouvertes.fr/hal-00361307
Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks, Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), pp.257-260, 2007. ,
DOI : 10.1109/NCA.2007.52
SysML and UML 2 support for activity modeling, Systems Engineering, vol.4, issue.2, pp.160-186, 2006. ,
DOI : 10.1002/sys.20046
An Algebraic Framework for Urgency, Information and Computation, vol.163, issue.1, pp.172-202, 2000. ,
DOI : 10.1006/inco.2000.2999
Modeling Urgency in Timed Systems, International Symposium : Compositionality -The Significant Difference, pp.103-129, 1997. ,
DOI : 10.1007/3-540-49213-5_5
Integrating the ConcernBASE Approach with SADL, Proceedings 4th International Conference on Modeling Languages, Concepts, and Tools, pp.166-181, 2001. ,
DOI : 10.1007/3-540-45441-1_13
A survey of architecture description languages, Proceedings of the Eighth International Workshop on Software Specification and Design, 1996. ,
Acme, CASCON First Decade High Impact Papers on, CASCON '10, pp.169-183, 1997. ,
DOI : 10.1145/1925805.1925814
Sonia Sachs, and Yuhong Xiong, Taming heterogeneity -the ptolemy approach, Proceedings of the IEEE 91, pp.127-144, 2003. ,
Eclipse modeling framework project ,
Exploiting style in architectural design environments, ACM SIGSOFT Software Engineering Notes, vol.19, issue.5, pp.175-188, 1994. ,
DOI : 10.1145/195274.195404
Reconciling the needs of architectural description with object-modeling notations, Science of Computer Programming, vol.44, issue.1, pp.23-49, 2002. ,
DOI : 10.1016/S0167-6423(02)00031-X
Composition for component-based modeling, Science of Computer Programming, vol.55, pp.161-183, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00665169
Prometheus ? a compositional modeling tool for real-time systems, Proc. Workshop RT-TOOLS, 2001. ,
Component-based construction of deadlock-free systems, proceedings of FSTTCS, LNCS, vol.2914, pp.420-433, 2003. ,
Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina, Proceedings of the 18th IEEE International Workshop on Rapid System Prototyping (RSP'07), pp.106-112, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-01335114
From the prototype to the final embedded system using the ocarina aadl tool suite, ACM Trans. Embed. Comput. Syst, vol.7, issue.4, pp.1-25, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-01175916
Real-time connectors for deterministic data-flow, Proceedings of RTCSARecommended Practice for Architectural description of Software-Intensive Systems Specification and analysis of system architecture using rapide, IEEE International Conference on Embedded and Real- Time Computing Systems and Applications, 2007. [IEE] IEEE Architecture Working Group, pp.336-335, 1471. ,
An event-based architecture definition language [MAR] Omg, uml profile for modeling and analysis of real-time and embedded systems (marte) rfp, IEEE Trans. Softw. Eng, vol.21, issue.9, pp.717-73405, 1995. ,
Dynamic structure in software architectures, Proceedings of ACM SIGSOFT'96 : Fourth Symposium on the Foundations of Software Engineering (FSE4), pp.3-14, 1996. ,
Using object-oriented typing to support architectural design in the c2 style, Proceedings of ACM SIGSOFT ? 201996 : Fourth Symposium on the Foundations of Software Engineering (FSE4), pp.24-32, 1996. ,
Domains of concern in software architectures and architecture description languages, Proceedings of the Conference on Domain-Specific Languages on Conference on Domain- Specific Languages (DSL) USENIX Association, pp.16-16, 1997. ,
Introduction to sadl 1.0 : A language for specifying software architecture hierarchies, 1997. ,
A framework for classifying and comparing architecture description languages, Proceedings of the Sixth European Software Engineering Conference (ESEC/FSE 97, pp.60-76, 1997. ,
Open Source AADL Tool Environment ,
Model-driven architecture : Vision, standards and emerging technologies, ECOOP 2001, Workshop on Metamodeling and Adaptive Object Models, 2001. ,
A methodology and supporting tools for the development of BIBLIOGRAPHIE component-based embedded systems, 13th Monterey Workshop, pp.75-96, 2006. ,
Specification and verification of concurrent systems in CESAR, Proceedings of the 5th Colloquium on International Symposium on Programming, pp.337-351, 1982. ,
DOI : 10.1007/3-540-11494-7_22
The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation, 2008 Seventh European Dependable Computing Conference, p.4108, 2008. ,
DOI : 10.1109/EDCC-7.2008.14
URL : https://hal.archives-ouvertes.fr/hal-00323969
Abstractions for software architecture and tools to support them, IEEE Transactions on Software Engineering, vol.21, issue.4, pp.314-335, 1995. ,
DOI : 10.1109/32.385970
Abstractions and implementations for architectural connections, Proceedings of International Conference on Configurable Distributed Systems, 1996. ,
DOI : 10.1109/CDS.1996.509340
Schedulability analysis of AADL models, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium, 2006. ,
DOI : 10.1109/IPDPS.2006.1639421
Cheddar : a flexible real time scheduling framework, ACM Ada Letters journal, vol.24, issue.4, pp.1-81094, 2004. ,
using the aadl for mission critical software development, 2004. ,
Building tool suite for aadl, IFIP International Federation for Information Processing, pp.197-207, 2005. ,
A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, pp.70-93, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-00444077