The Experts below are selected from a list of 375672 Experts worldwide ranked by ideXlab platform
Peter H Feiler - One of the best experts on this subject based on the ideXlab platform.
-
What’s New in V2 of the Architecture Analysis & Design Language Standard?
2018Co-Authors: Peter H Feiler, Joe Seibel, Lutz WrageAbstract:This report provides an overview of changes and improvements to the Architecture Analysis & Design Language (AADL) standard for describing both the software architecture and the execution platform architectures of performance-critical, embedded, real-time systems. The standard was initially defined in the document SAE AS-5506 and published in November 2004 by SAE International (formerly the Society of Automotive Engineers). SAE International published the revised Language, known as AADL V2, in January 2009. Feedback from users of the standard guided the plan for improvements. Their experience and suggestions resulted in the addition of component categories to better represent protocols as logical entities (virtual bus), scheduler hierarchies and logical time partitions (virtual processor), and a generic component (abstract). The revisions also led to the abilities to (1) explicitly parameterize component declarations to better express architecture patterns, (2) specify multiple instances of the same component in one declaration (component array) and corresponding connection patterns, (3) set visibility rules for packages and property sets that access other packages and property sets, (4) specify system-level mode transitions more precisely, and (5) use additional property capabilities including property value records.
-
model based engineering with aadl an introduction to the sae architecture analysis Design Language
2012Co-Authors: Peter H Feiler, David P GluchAbstract:Conventional build-then-test practices are making todays embedded, software-reliant systems unaffordable to build. In response, more than thirty leading industrial organizations have joined SAE (formerly, the Society of Automotive Engineers) to define the SAE Architecture Analysis & Design Language (AADL) AS-5506 Standard, a rigorous and extensible foundation for model-based engineering analysis practices that encompass software system Design, integration, and assurance. Using AADL, you can conduct lightweight and rigorous analyses of critical real-time factors such as performance, dependability, security, and data integrity. You can integrate additional established and custom analysis/specification techniques into your engineering environment, developing a fully unified architecture model that makes it easier to build reliable systems that meet customer expectations. Model-Based Engineering with AADL is the first guide to using this new international standard to optimize your development processes. Coauthored by Peter H. Feiler, the standards author and technical lead, this introductory reference and tutorial is ideal for self-directed learning or classroom instruction, and is an excellent reference for practitioners, including architects, developers, integrators, validators, certifiers, first-level technical leaders, and project managers. Packed with real-world examples, it introduces all aspects of the AADL notation as part of an architecture-centric, model-based engineering approach to discovering embedded software systems problems earlier, when they cost less to solve. Throughout, the authors compare AADL to other modeling notations and approaches, while presenting the Language via a complete case study: the development and analysis of a realistic example system through repeated refinement and analysis. Part One introduces both the AADL Language and core Model-Based Engineering (MBE) practices, explaining basic software systems modeling and analysis in the context of an example system, and offering practical guidelines for effectively applying AADL. Part Two describes the characteristics of each AADL element, including their representations, applicability, and constraints. The Appendix includes comprehensive listings of AADL Language elements, properties incorporated in the AADL standard, and a description of the books example system.
-
model based software quality assurance with the architecture analysis and Design Language
AIAA Infotech@Aerospace Conference, 2009Co-Authors: Peter H Feiler, David P Gluch, Kathryn Anne Weiss, Kurt WoodhamAbstract:Model-based software quality assurance (MB-SQA) provides a rigorous framework for the verification and validation of software systems through the systematic modeling and analysis of formal architecture representations. This paper describes the results of applying an MB-SQA practice framework that utilizes the Architecture Analysis and Design Language (AADL) to JPL’s Mission Data System (MDS) reference architecture. The MDS is a unified reference architecture for space mission flight, ground, and test systems. In the case study, the AADL assurance practice framework and several AADL-based analyses were applied to the evaluation of critical quality attributes of the MDS reference architecture as well as an MDS adaptation for the control of a heated camera. The results of the case study demonstrate the utility of the practice framework and the AADL-based analyses in addressing (1) the modeling of key MDS architectural themes and (2) quality assurance with respect to performance, particularly flow latency.
-
software dependability modeling using an industry standard architecture description Language
arXiv: Software Engineering, 2008Co-Authors: Ana Elena Rugina, Karama Kanoun, Peter H Feiler, Mohamed KaânicheAbstract:Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisions on the dependability of an application. This paper gives guidelines for building architectural dependability models for software systems using the AADL (Architecture Analysis and Design Language). It presents reusable modeling patterns for fault-tolerant applications and shows how the presented patterns can be used in the context of a subsystem of a real-life application.
-
dependability modeling with the architecture analysis Design Language aadl
2007Co-Authors: Peter H Feiler, Ana Elena RuginaAbstract:Abstract : The Society for Automotive Engineers (SAE) recently published an Error Model Annex document (SAE AS-5506/1) to complement the SAE Architecture Analysis & Design Language (AADL) standard document (SAE AS5506) with capabilities for dependability modeling. The purpose of this report is to: (1) explain the capabilities of the Error Model Annex and (2) provide guidance on the use of the AADL and the error model in modeling dependability aspects of embedded system architectures. The focus of the guidance is the creation of error model libraries and the instantiation of these error models on AADL architecture models. In that context, the report discusses modeling of error propagation, error filtering and masking, the interactions between error models and systems with operational modes, and modeling of repair activities.
Michael Taylor - One of the best experts on this subject based on the ideXlab platform.
-
invited basejump stl systemverilog needs a standard template library for hardware Design
Design Automation Conference, 2018Co-Authors: Michael TaylorAbstract:We propose a Standard Template Library (STL) for synthesizeable SystemVerilog that sharply reduces the time required to Design digital circuits. We overview the principles that underly the Design of the open-source BaseJump STL, including light-weight latency-insensitive interfaces that yield fast microarchitectures and low bug density; thin handshaking rules; fast porting of hardened chip regions across nodes; pervasive parameterization and specialization, and static error checking. We suggest extensions to SystemVerilog that will make it a more functional Design Language, and discuss our validation, including with the DARPA CRAFT-sponsored 16nm TSMC Celerity SoC with 511 RISC-V cores and 385M transistors. 80% of the modules for the Design were instantiated directly from BaseJump STL, reducing verification time, accelerating development, and showing the promise of the approach.
-
basejump stl systemverilog needs a standard template library for hardware Design
Design Automation Conference, 2018Co-Authors: Michael TaylorAbstract:We propose a Standard Template Library (STL) for synthesizeable SystemVerilog that sharply reduces the time required to Design digital circuits. We overview the principles that underly the Design of the open-source BaseJump STL, including light-weight latency-insensitive interfaces that yield fast microarchitectures and low bug density; thin handshaking rules; fast porting of hardened chip regions across nodes; pervasive parameterization and specialization, and static error checking. We suggest extensions to SystemVerilog that will make it a more functional Design Language, and discuss our validation, including with the DARPA CRAFT-sponsored 16nm TSMC Celerity SoC with 511 RISC-V cores and 385M transistors. 80% of the modules for the Design were instantiated directly from BaseJump STL, reducing verification time, accelerating development, and showing the promise of the approach.
Ana Elena Rugina - One of the best experts on this subject based on the ideXlab platform.
-
software dependability modeling using an industry standard architecture description Language
arXiv: Software Engineering, 2008Co-Authors: Ana Elena Rugina, Karama Kanoun, Peter H Feiler, Mohamed KaânicheAbstract:Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisions on the dependability of an application. This paper gives guidelines for building architectural dependability models for software systems using the AADL (Architecture Analysis and Design Language). It presents reusable modeling patterns for fault-tolerant applications and shows how the presented patterns can be used in the context of a subsystem of a real-life application.
-
dependability modeling with the architecture analysis Design Language aadl
2007Co-Authors: Peter H Feiler, Ana Elena RuginaAbstract:Abstract : The Society for Automotive Engineers (SAE) recently published an Error Model Annex document (SAE AS-5506/1) to complement the SAE Architecture Analysis & Design Language (AADL) standard document (SAE AS5506) with capabilities for dependability modeling. The purpose of this report is to: (1) explain the capabilities of the Error Model Annex and (2) provide guidance on the use of the AADL and the error model in modeling dependability aspects of embedded system architectures. The focus of the guidance is the creation of error model libraries and the instantiation of these error models on AADL architecture models. In that context, the report discusses modeling of error propagation, error filtering and masking, the interactions between error models and systems with operational modes, and modeling of repair activities.
-
a system dependability modeling framework using aadl and gspns
Architecting dependable systems IV, 2007Co-Authors: Ana Elena Rugina, Karama Kanoun, Mohamed KaânicheAbstract:For efficiency and cost control reasons, system Designers' will is to use an integrated set of methods and tools to describe specifications and Design, and also to perform dependability analyses. The SAE (Society of Automotive Engineers) AADL (Architecture Analysis and Design Language) has proved to be efficient for architectural modeling. We present a modeling framework allowing the generation of dependability-oriented analytical models from AADL models, to facilitate the evaluation of dependability measures, such as reliability or availability. We propose a stepwise approach for system dependability modeling using AADL. The AADL dependability model is transformed into a GSPN (Generalized Stochastic Petri Net) by applying model transformation rules that can be automated. The resulting GSPN can be processed by existing tools. The modeling approach is illustrated on a subsystem of the French Air Traffic Control System.
David P Gluch - One of the best experts on this subject based on the ideXlab platform.
-
model based engineering with aadl an introduction to the sae architecture analysis Design Language
2012Co-Authors: Peter H Feiler, David P GluchAbstract:Conventional build-then-test practices are making todays embedded, software-reliant systems unaffordable to build. In response, more than thirty leading industrial organizations have joined SAE (formerly, the Society of Automotive Engineers) to define the SAE Architecture Analysis & Design Language (AADL) AS-5506 Standard, a rigorous and extensible foundation for model-based engineering analysis practices that encompass software system Design, integration, and assurance. Using AADL, you can conduct lightweight and rigorous analyses of critical real-time factors such as performance, dependability, security, and data integrity. You can integrate additional established and custom analysis/specification techniques into your engineering environment, developing a fully unified architecture model that makes it easier to build reliable systems that meet customer expectations. Model-Based Engineering with AADL is the first guide to using this new international standard to optimize your development processes. Coauthored by Peter H. Feiler, the standards author and technical lead, this introductory reference and tutorial is ideal for self-directed learning or classroom instruction, and is an excellent reference for practitioners, including architects, developers, integrators, validators, certifiers, first-level technical leaders, and project managers. Packed with real-world examples, it introduces all aspects of the AADL notation as part of an architecture-centric, model-based engineering approach to discovering embedded software systems problems earlier, when they cost less to solve. Throughout, the authors compare AADL to other modeling notations and approaches, while presenting the Language via a complete case study: the development and analysis of a realistic example system through repeated refinement and analysis. Part One introduces both the AADL Language and core Model-Based Engineering (MBE) practices, explaining basic software systems modeling and analysis in the context of an example system, and offering practical guidelines for effectively applying AADL. Part Two describes the characteristics of each AADL element, including their representations, applicability, and constraints. The Appendix includes comprehensive listings of AADL Language elements, properties incorporated in the AADL standard, and a description of the books example system.
-
model based software quality assurance with the architecture analysis and Design Language
AIAA Infotech@Aerospace Conference, 2009Co-Authors: Peter H Feiler, David P Gluch, Kathryn Anne Weiss, Kurt WoodhamAbstract:Model-based software quality assurance (MB-SQA) provides a rigorous framework for the verification and validation of software systems through the systematic modeling and analysis of formal architecture representations. This paper describes the results of applying an MB-SQA practice framework that utilizes the Architecture Analysis and Design Language (AADL) to JPL’s Mission Data System (MDS) reference architecture. The MDS is a unified reference architecture for space mission flight, ground, and test systems. In the case study, the AADL assurance practice framework and several AADL-based analyses were applied to the evaluation of critical quality attributes of the MDS reference architecture as well as an MDS adaptation for the control of a heated camera. The results of the case study demonstrate the utility of the practice framework and the AADL-based analyses in addressing (1) the modeling of key MDS architectural themes and (2) quality assurance with respect to performance, particularly flow latency.
-
the architecture analysis Design Language aadl an introduction
2006Co-Authors: Peter H Feiler, David P Gluch, John HudakAbstract:In November 2004, the Society of Automotive Engineers (SAE) released the aerospace standard AS5506, named the Architecture Analysis & Design Language (AADL). The AADL is a modeling Language that supports early and repeated analyses of a system's architecture with respect to performance-critical properties through an extendable notation, a tool framework, and precisely defined semantics. The Language employs formal modeling concepts for the description and analysis of application system architectures in terms of distinct components and their interactions. It includes abstractions of software, computational hardware, and system components for (a) specifying and analyzing real-time embedded and high dependability systems, complex systems of systems, and specialized performance capability systems and (b) mapping of software onto computational hardware elements. The AADL is especially effective for model-based analysis and specification of complex real-time embedded systems. This technical note is an introduction to the concepts, Language structure, and application of the AADL.
Masaharu Imai - One of the best experts on this subject based on the ideXlab platform.
-
rtk spec tron a simulation model of an itron based rtos kernel in systemc
arXiv: Operating Systems, 2007Co-Authors: Abdelsalam M Hassan, Keishi Sakanushi, Yoshinori Takeuchi, Masaharu ImaiAbstract:This paper presents the methodology and the modeling constructs we have developed to capture the real time aspects of RTOS simulation models in a System Level Design Language (SLDL) like SystemC. We describe these constructs and show how they are used to build a simulation model of an RTOS kernel targeting the $\mu$-ITRON OS specification standard.
-
rtk spec tron a simulation model of an itron based rtos kernel in systemc
Design Automation and Test in Europe, 2005Co-Authors: Abdelsalam M Hassan, Keishi Sakanushi, Yoshinori Takeuchi, Masaharu ImaiAbstract:The paper presents the methodology and the modeling constructs we have developed to capture the real time aspects of RTOS (real time operating system) simulation models in a system level Design Language (SLDL) like SystemC. We describe these constructs and show how they are used to build a simulation model of an RTOS kernel targeting the /spl mu/-ITRON (micro industrial TRON - the real time operating system nucleus) OS specification standard.