Search results for "AADL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
121	Frank Singhoff, Jérôme Legrand, Laurent Nana, Lionel Marcé	Scheduling and memory requirements analysis with AADL.	SIGAda	2005	DBLP DOI BibTeX RDF	ada framework, memory requirements and real time scheduling analysis, AADL
115	Joyce L. Tokar	Architecting Dependable Systems with the SAE Architecture Analysis and Description Language (AADL).	WADS	2006	DBLP DOI BibTeX RDF	Modeling, Dependability, Architecture description language, Architecture analysis
106	Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche	A System Dependability Modeling Framework Using AADL and GSPNs.	WADS	2006	DBLP DOI BibTeX RDF	evaluation, model transformation, AADL, dependability modeling, GSPN
99	Oleg Sokolsky, Insup Lee 0001, Duncan Clarke	Schedulability analysis of AADL models.	IPDPS	2006	DBLP DOI BibTeX RDF
90	Stefan Björnander, Lars Grunske, Kristina Lundqvist	Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines.	QoSA	2009	DBLP DOI BibTeX RDF	Behavior Annex, TASM, Translation, AADL
90	Frank Singhoff, Alain Plantec	AADL modeling and analysis of hierarchical schedulers.	SIGAda	2007	DBLP DOI BibTeX RDF	ada framework, cheddar, platypus, real time, scheduling analysis, AADL, timed automaton
90	Jean-Paul Bodeveix, Raphaël Cavallero, David Chemouil, Mamoun Filali, Jean-François Rolland	A mapping from AADL to Java-RTSJ.	JTRES	2007	DBLP DOI BibTeX RDF	architecture analysis and design languages (AADL), Java, real-time systems, architecture description languages, real-time specification for Java (RTSJ)
83	Dionisio de Niz, Peter H. Feiler	Verification of Replication Architectures in AADL.	ICECCS	2009	DBLP DOI BibTeX RDF
83	Roberto Varona-Gomez, Eugenio Villar	AADL Simulation and Performance Analysis in SystemC.	ICECCS	2009	DBLP DOI BibTeX RDF
83	Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche	The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation.	EDCC	2008	DBLP DOI BibTeX RDF
83	Dominique Bertrand, Anne-Marie Déplanche, Sébastien Faucou, Olivier H. Roux	A Study of the AADL Mode Change Protocol.	ICECCS	2008	DBLP DOI BibTeX RDF
83	Didier Delanote, Stefan Van Baelen, Wouter Joosen, Yolande Berbers	Using AADL to Model a Protocol Stack.	ICECCS	2008	DBLP DOI BibTeX RDF
83	Hongyu Sun 0001, Miriam Hauptman, Robyn R. Lutz	Integrating Product-Line Fault Tree Analysis into AADL Models.	HASE	2007	DBLP DOI BibTeX RDF
67	Hong P. Liu, David P. Gluch	Formal verification of AADL behavior models: a feasibility investigation.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	architecture analysis & design language, model checking, tool integration, computational tree logic
67	Ivano Malavolta, Henry Muccini, Patrizio Pelliccione	Integrating AADL within a Multi-domain Modeling Framework.	ICECCS	2009	DBLP DOI BibTeX RDF
67	Oleg Sokolsky, Insup Lee 0001, Duncan Clarke	Process-Algebraic Interpretation of AADL Models.	Ada-Europe	2009	DBLP DOI BibTeX RDF
67	Mohamed Yassin Chkouri, Anne Robert, Marius Bozga, Joseph Sifakis	Translating AADL into BIP - Application to the Verification of Real-Time Systems.	MoDELS (Workshops)	2008	DBLP DOI BibTeX RDF
67	Shenglin Gui, Lei Luo 0004, Qian Liu, Fulei Guo, Shaopeng Lu	UCaS: A Schedulability Analysis Tool for AADL Models.	EUC (2)	2008	DBLP DOI BibTeX RDF
67	Malika Benammar, Faiza Belala, Fateh Latreche	AADL behavioral annex based on generalized rewriting logic.	RCIS	2008	DBLP DOI BibTeX RDF
67	Ricardo Bedin França, Jean-Paul Bodeveix, Mamoun Filali, Jean-François Rolland, David Chemouil, Dave Thomas	The AADL behaviour annex - experiments and roadmap.	ICECCS	2007	DBLP DOI BibTeX RDF
67	Thomas Vergnaud, Laurent Pautet, Fabrice Kordon	Using the AADL to Describe Distributed Applications from Middleware to Software Components.	Ada-Europe	2005	DBLP DOI BibTeX RDF
64	Peter H. Feiler, Dionisio de Niz, Chris Raistrick, Bruce A. Lewis	From PIMs to PSMs.	ICECCS	2007	DBLP DOI BibTeX RDF
58	Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll 0001	Verification and performance evaluation of aadl models.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	performability, model checking, reliability, dependability, aadl
58	Jérôme Hugues, Bechir Zalila, Laurent Pautet, Fabrice Kordon	From the prototype to the final embedded system using the Ocarina AADL tool suite.	ACM Trans. Embed. Comput. Syst.	2008	DBLP DOI BibTeX RDF	Ocarina, PolyORB-HI, real-time, distributed, embedded, AADL, DRE
57	Kyungmin Bae, Peter Csaba Ölveczky	Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL.	FACS	2023	DBLP DOI BibTeX RDF
55	Werner Damm	A Microprogramming Logic.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	microprogramming logic, syntax-directed proof system, horizontal computer architectures, clocked microarchitectures, axiomatic definition, microoperations, low-level parallelism, dynamic conflicts, specification, computer architecture, theorem proving, specification languages, architecture description language, formal logic, microprogramming, AADL, timing behavior
51	Frédéric Mallet, Charles André, Julien DeAntoni	Executing AADL Models with UML/MARTE.	ICECCS	2009	DBLP DOI BibTeX RDF
51	Lei Pi, Jean-Paul Bodeveix, Mamoun Filali	Modeling AADL Data Communication with BIP.	Ada-Europe	2009	DBLP DOI BibTeX RDF
51	Lars Grunske, Jun Han	A Comparative Study into Architecture-Based Safety Evaluation Methodologies Using AADL's Error Annex and Failure Propagation Models.	HASE	2008	DBLP DOI BibTeX RDF
51	Yue Ma 0004, Jean-Pierre Talpin, Thierry Gautier	Virtual prototyping AADL architectures in a polychronous model of computation.	MEMOCODE	2008	DBLP DOI BibTeX RDF
51	Thomas Abdoul, Joël Champeau, Philippe Dhaussy, Pierre Yves Pillain, Jean-Charles Roger	AADL Execution Semantics Transformation for Formal Verification.	ICECCS	2008	DBLP DOI BibTeX RDF
51	Su-Young Lee 0002, Frédéric Mallet, Robert de Simone	Dealing with AADL End-to-End Flow Latency with UML MARTE.	ICECCS	2008	DBLP DOI BibTeX RDF
51	Matthias Brun 0001, Jérôme Delatour, Yvon Trinquet	Code Generation from AADL to a Real-Time Operating System: An Experimentation Feedback on the Use of Model Transformation.	ICECCS	2008	DBLP DOI BibTeX RDF
51	Hugues Balp, Etienne Borde, Grégory Haïk, Jean-François Tilman	Automatic Composition of AADL Models for the Verification of Critical Component-Based Embedded Systems.	ICECCS	2008	DBLP DOI BibTeX RDF
48	Vibha Prasad, Ting Yan, Praveen Jayachandran, Zengzhong Li, Sang Hyuk Son, John A. Stankovic, Jörgen Hansson, Tarek F. Abdelzaher	ANDES: An ANalysis-Based DEsign Tool for Wireless Sensor Networks.	RTSS	2007	DBLP DOI BibTeX RDF
48	Bruce Lewis	Architecture Based Model Driven Software and System Development for Real-Time Embedded Systems.	RISSEF	2002	DBLP DOI BibTeX RDF
42	Yue Ma 0004, Jean-Pierre Talpin, Thierry Gautier	Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA.	CIT	2010	DBLP DOI BibTeX RDF	behavior annex, synchronous, AADL, SSA
42	Hassan Reza, Emanuel S. Grant	Toward Extending AADL-OSATE Toolset with Color Petri Nets (CPNs).	ITNG	2009	DBLP DOI BibTeX RDF	MetaH, OSATE, Eclipse, ADL, Color Petri nets, AADL, Model-Based Engineering
42	Yunwei Dong, Geng Wang, Hong-bing Zhao	A Model-Based Testing for AADL Model of Embedded Software.	QSIC	2009	DBLP DOI BibTeX RDF	Architecture Analyze and Design Language (AADL), Markov Chain, Model-based Testing, Error Model
39	Rodolfo Pellizzoni, Patrick O'Neil Meredith, Min-Young Nam, Mu Sun, Marco Caccamo, Lui Sha	Handling mixed-criticality in SoC-based real-time embedded systems.	EMSOFT	2009	DBLP DOI BibTeX RDF	mixed-criticality, system-on-chip, runtime monitoring, platform-based design, AADL
38	Mohamed Elkamel Hamdane	Une approche basée sur l'ingénierie dirigée par les modèles pour la vérification des descriptions AADL. (A model-driven engineering approach for verifying AADL descriptions).		2018	RDF
38	Farid Adaili	Nouvelle Approche Globale par Composants AADL pour le Développement desSystèmes Adaptatifs de Contrôle Industriel. (New Global Approach based AADL Components for the Development of Adaptive Industrial Control Systems).		2017	RDF
38	Pierre Dissaux, Olivier Marc	Executable AADL: Real-Time Simulation of AADL Models.	ACVI@MoDELS	2014	DBLP BibTeX RDF
38	Yuqing Qian, Jing Liu 0012, Xiaohong Chen 0007	Hybrid AADL: a sublanguage extension to AADL.	Internetware	2013	DBLP DOI BibTeX RDF
38	Mohamed Yassin Chkouri	Modélisation des systèmes temps-réel embarqués en utilisant AADL pour la génération automatique d'applications formellement vérifiées. (Modelling real-time embedded systems using AADL for the automatic generation of applications formally verified).		2010	RDF
35	Aldeida Aleti, Stefan Björnander, Lars Grunske, Indika Meedeniya	ArcheOpterix: An extendable tool for architecture optimization of AADL models.	MOMPES	2009	DBLP DOI BibTeX RDF
35	Lei Pi, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu 0004, Dianfu Ma	A Comparative Study of FIACRE and TASM to Define AADL Real Time Concepts.	ICECCS	2009	DBLP DOI BibTeX RDF
35	Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal-Zilio, Mamoun Filali, François Vernadat 0001	Formal Verification of AADL Specifications in the Topcased Environment.	Ada-Europe	2009	DBLP DOI BibTeX RDF
35	Sudhanwa Kholgade, Jamie White, Hassan Reza	Comparing the Specification of a Near-Real Time Commanding System Using Statecharts and AADL.	ITNG	2007	DBLP DOI BibTeX RDF
35	Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens	Virtual execution of AADL models via a translation into synchronous programs.	EMSOFT	2007	DBLP DOI BibTeX RDF	simulation, formal verification, architecture description language, synchronous languages
35	Madeleine Faugère, Thimothée Bourbeau, Robert de Simone, Sébastien Gérard	MARTE: Also an UML Profile for Modeling AADL Applications.	ICECCS	2007	DBLP DOI BibTeX RDF
32	Peter H. Feiler	Modeling the Implementation of State-Based System Architectures.	ICECCS	2009	DBLP DOI BibTeX RDF
32	Erwan Jahier, Nicolas Halbwachs, Pascal Raymond	Synchronous Modeling and Validation of Priority Inheritance Schedulers.	FASE	2009	DBLP DOI BibTeX RDF	Simulation, Scheduling, Embedded systems, Formal Verification, Architecture Description Languages, Synchronous Languages
32	Youngseok Oh, Danhyung Lee, Sungwon Kang, Jihyun Lee	Extended Architecture Analysis Description Language for Software Product Line Approach in Embedded Systems.	MEMOCODE	2007	DBLP DOI BibTeX RDF
32	Isabelle Perseil, Laurent Pautet	A Co-Modeling Methodology Designed for RT Architecture Models Integration.	ICECCS	2007	DBLP DOI BibTeX RDF
32	Bechir Zalila, Irfan Hamid, Jérôme Hugues, Laurent Pautet	Generating Distributed High Integrity Applications from Their Architectural Description.	Ada-Europe	2007	DBLP DOI BibTeX RDF
32	Werner Damm, Gert Döhmen	An Axiomatic Approach to the Specification of Distributed Computer Architectures.	PARLE (1)	1987	DBLP DOI BibTeX RDF
23	Jörgen Hansson, Lutz Wrage, Peter H. Feiler, John Morley, Bruce A. Lewis, Jérôme Hugues	Architectural Modeling to Verify Security and Nonfunctional Behavior.	IEEE Secur. Priv.	2010	DBLP DOI BibTeX RDF	Architecture Analysis and Design Language, security, verification, architectural modeling, AADL
23	Frank Singhoff, Alain Plantec, Pierre Dissaux, Jérôme Legrand	Investigating the usability of real-time scheduling theory with the Cheddar project.	Real Time Syst.	2009	DBLP DOI BibTeX RDF	Architecture modelling and verification, Scheduling theory, AADL, Software engineering tools
23	Irfan Hamid, Bechir Zalila, Elie Najm, Jérôme Hugues	Automatic framework generation for hard real-time applications.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Ravenscar, Real-time, Ada, Code generation, Model transformation, AADL
23	Isabelle Perseil, Laurent Pautet	Foundations of a new software engineering method for real-time systems.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	PBSE, +CAL, UML, Real-time, Code generation, MDA, Model transformation, MDE, MARTE, AADL, Continuum, Software engineering method
23	Bechir Zalila, Laurent Pautet, Jérôme Hugues	Towards Automatic Middleware Generation.	ISORC	2008	DBLP DOI BibTeX RDF	Automatic Middleware Generation, Ocarina, PolyORB-HI, AADL, Distributed Real-Time Embedded Systems
23	Dionisio de Niz, Peter H. Feiler	On Resource Allocation in Architectural Models.	ISORC	2008	DBLP DOI BibTeX RDF	Model, Architecture, Resource Allocation, Software, Bin Packing, Budgets, AADL, Model-Based Engineering
19	Zhen Li, Zining Cao, Fujun Wang, Chao Xing	A Modeling and Verification Method of Cyber-Physical Systems Based on AADL and Process Algebra.	Int. J. Softw. Eng. Knowl. Eng.	2024	DBLP DOI BibTeX RDF
19	Paul A. Wortman, John A. Chandy	Translation of AADL model to security attack tree (TAMSAT) to SMART evaluation of monetary security risk.	Inf. Secur. J. A Glob. Perspect.	2023	DBLP DOI BibTeX RDF
19	Hana Mkaouar, Dominique Blouin, Etienne Borde	A benchmark of incremental model transformation tools based on an industrial case study with AADL.	Softw. Syst. Model.	2023	DBLP DOI BibTeX RDF
19	Mohamed Elkamel Hamdane, Saad Harous, Elhillali Kerkouche, Nabil Messaoudi	Improving consistency of AADL models: A composition approach.	Syst. Eng.	2023	DBLP DOI BibTeX RDF
19	Faiqa Adnan, Mazhar Javed Awan, Amena Mahmoud, Haitham Nobanee, Awais Yasin, Azlan Mohd Zain	EfficientNetB3-Adaptive Augmented Deep Learning (AADL) for Multi-Class Plant Disease Classification.	IEEE Access	2023	DBLP DOI BibTeX RDF
19	Zhengling Guo, Zining Cao	Combined Formal Modeling and Model Transformation Based on AADL and Object-Z.	J. Softw.	2023	DBLP DOI BibTeX RDF
19	Ehsan Ahmad, Hessam S. Sarjoughian	An Environment for Developing Simulatable AADL-DEVS Models.	Simul. Model. Pract. Theory	2023	DBLP DOI BibTeX RDF
19	Xiongpeng Hu, Jing Liu, Hui Dou, HongTao Chen, Yuhong Zhang	Automatic Generation of Component Fault Trees from AADL Models for Design Failure Modes and Effects Analysis.	QRS	2023	DBLP DOI BibTeX RDF
19	John Hatcliff, Jason Belt, Robby, Jacob Legg, Danielle Stewart, Todd Carpenter	Automated Property-Based Testing from AADL Component Contracts.	FMICS	2023	DBLP DOI BibTeX RDF
19	Guo Peng, Zhang Xiao, Wang Yang	The Scheduling Analysis Method of Embedded Real-Time System Based on AADL-IO Annex.	SNPD-Winter	2023	DBLP DOI BibTeX RDF
19	Stefan Hallerstede, John Hatcliff	A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime.	FACS	2023	DBLP DOI BibTeX RDF
19	Xiong Xu, Shuling Wang, Bohua Zhan, Xiangyu Jin, Jean-Pierre Talpin, Naijun Zhan	Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and Simulink/Stateflow.	Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
19	Jaehun Lee, Kyungmin Bae, Peter Csaba Ölveczky, Sharon Kim, Minseok Kang	Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL.	Int. J. Softw. Tools Technol. Transf.	2022	DBLP DOI BibTeX RDF
19	Yu Tan, Yongwang Zhao, Dianfu Ma, Xuejun Zhang	A Comprehensive Formalization of AADL with Behavior Annex.	Sci. Program.	2022	DBLP DOI BibTeX RDF
19	Hariharan Thiagarajan, John Hatcliff, Robby	Awas: AADL information flow and error propagation analysis framework.	Innov. Syst. Softw. Eng.	2022	DBLP DOI BibTeX RDF
19	Jérôme Hugues, Lutz Wrage, John Hatcliff, Danielle Stewart	Mechanization of a Large DSML: An Experiment with AADL and Coq.	MEMOCODE	2022	DBLP DOI BibTeX RDF
19	John Hatcliff, Jérôme Hugues, Danielle Stewart, Lutz Wrage	Formalization of the AADL Run-Time Services.	ISoLA (2)	2022	DBLP DOI BibTeX RDF
19	Eric Senn, Lucie W. J. Bourdon, Dominique Blouin	Multi-paradigm modeling for early analysis of ROS-based robotic applications using a library of AADL models.	MoDELS (Companion)	2022	DBLP DOI BibTeX RDF
19	Rakshit Mittal, Dominique Blouin, Anish Bhobe, Soumyadip Bandyopadhyay	Solving the instance model-view update problem in AADL.	MoDELS	2022	DBLP DOI BibTeX RDF
19	Rakshit Mittal, Dominique Blouin	OSATE-DIM solves the instance model-view update problem in AADL.	MoDELS (Companion)	2022	DBLP DOI BibTeX RDF
19	Rakshit Mittal	The instance model-view update problem in AADL.	MoDELS (Companion)	2022	DBLP DOI BibTeX RDF
19	Xiaoying Chen, Yi Zhu, Yu Zhao, Jinyong Wang, Anarbekov Altynbek	Hybrid Modeling and Model Transformation of AADL for Verifying the Properties of CPS Space-Time Compositions.	IEEE Access	2021	DBLP DOI BibTeX RDF
19	Danielle Stewart, Jing Liu, Darren D. Cofer, Mats Per Erik Heimdahl, Michael W. Whalen, Michael Peterson	AADL-Based safety analysis using formal methods applied to aircraft digital systems.	Reliab. Eng. Syst. Saf.	2021	DBLP DOI BibTeX RDF
19	Yin Lu, Shudong Qin, Leqi Xi, Yunwei Dong	On Schedulability Analysis of AADL Architecture with Storage Resource Constraint.	Int. J. Softw. Informatics	2021	DBLP DOI BibTeX RDF
19	Jaehun Lee, Sharon Kim, Kyungmin Bae, Peter Csaba Ölveczky	HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL.	CAV (1)	2021	DBLP DOI BibTeX RDF
19	John Hatcliff, Jason Belt, Robby, Todd Carpenter	HAMR: An AADL Multi-platform Code Generation Toolset.	ISoLA	2021	DBLP DOI BibTeX RDF
19	Eric Senn, Lucie Bourdon	Introducing CPU load Analysis from AADL Models for ROS applications : a use case.	FDL	2021	DBLP DOI BibTeX RDF
19	Yunwei Dong, Qian-wen Gou, Pei Tang	Architecture-Level Schedulability Analysis with IO Constraint using AADL.	DSA	2021	DBLP DOI BibTeX RDF
19	Fei Wang 0049, Zhibin Yang, Zhi-qiu Huang, Chengwei Liu, Yong Zhou, Jean-Paul Bodeveix, Mamoun Filali	An Approach to Generate the Traceability Between Restricted Natural Language Requirements and AADL Models.	IEEE Trans. Reliab.	2020	DBLP DOI BibTeX RDF
19	Mingrui Xiao, Yunwei Dong, Qian-wen Gou, Feng Xue, Yong-Hua Chen	Architecture-level particular risk modeling and analysis for a cyber-physical system with AADL.	Frontiers Inf. Technol. Electron. Eng.	2020	DBLP DOI BibTeX RDF
19	Jorge L. Salazar-Cerreno, Zeeshan Qamar, Shahrokh Saeedi, Binbin Weng, Hjalti H. Sigmarsson	Frequency Agile Microstrip Patch Antenna Using an Anisotropic Artificial Dielectric Layer (AADL): Modeling and Design.	IEEE Access	2020	DBLP DOI BibTeX RDF
19	Abeer Saeed Abdo Hadad, Chunyan Ma, Adeeb Abdulwakeel Obadi Ahmed	Formal Verification of AADL Models by Event-B.	IEEE Access	2020	DBLP DOI BibTeX RDF
19	Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel	A formal approach to AADL model-based software engineering.	Int. J. Softw. Tools Technol. Transf.	2020	DBLP DOI BibTeX RDF
19	Diego Camara Sales, Cristian Koliver, Leandro Buss Becker	Ontology and Rules for Characterization of Sensors and Actuators Devices in AADL Models.	SBESC	2020	DBLP DOI BibTeX RDF
19	Joonas Linnosmaa, Antti Pakonen, Nikolaos Papakonstantinou, Péter Kárpáti	Applicability of AADL in modelling the overall I&C architecture of a nuclear power plant.	IECON	2020	DBLP DOI BibTeX RDF
19	Hariharan Thiagarajan, Brian R. Larson, John Hatcliff, Yi Zhang 0051	Model-Based Risk Analysis for an Open-Source PCA Pump Using AADL Error Modeling.	IMBSA	2020	DBLP DOI BibTeX RDF
19	Hariharan Thiagarajan, John Hatcliff, Robby	Awas: AADL Information Flow and Error Propagation Analysis Framework.	ECSA Companion	2020	DBLP DOI BibTeX RDF