Multiple Views and Relationships for Quality Driven Architecture with AADL: A Multimodel for Software Product Lines
|
|
- Kevin Ryan
- 6 years ago
- Views:
Transcription
1 Multiple Views and Relationships for Quality Driven Architecture with AADL: A for Software Product Lines Emilio Insfran, Silvia Abrahão, Javier González Department of Information Systems and Computation Universitat Politècnica de València, Spain {einsfran, sabrahao}@dsic.upv.es AADL Standards Meeting Oct 30 - Nov 1, 2012 Phoenix, AZ - USA
2 A ing Approach for Quality-Driven 2 Outline A for Software Product Lines Quality-Driven
3 A ing Approach for Quality-Driven : Context MULTIPLE Project CICYT (TIN ) MULTIPLE (ing Approach for Quality-Aware Software Product Lines) Ministry of Economy - From 2010 to researchers at UPV (4 Professors and 6 PhD students) 5 external researchers: University of Leicester (UK), Universidad de Colima (Mexico) LERO (Ireland), IT University of Copenhagen (Denmark) Universidad Rey Juan Carlos (Madrid) EPO: Rolls-Royce (UK) Goi Eskola Politeknikoa. SEI John McGregor and Sholom Cohen
4 A Software Product Line (SPL) is a set of software systems sharing a common set of features, developed from a common set of core assets in a prescribed way. The product line architecture is driven by the functional, quality, and business requirements of the whole set of products within a SPL. Product architectures are obtained from the PL architecture by exercising its built-in variation points according to a prescribed set of variation mechanisms. However when the variation mechanisms are not sufficient to fulfill a required quality level additional architectural transformations are needed. This implies that: The knowledge about quality attributes related to architectural transformations need to be represented and used for selecting the transformation to be applied. The resulting product architecture has to be evaluated to asses if the required quality attribute levels are fulfilled. A ing Approach for Quality-Driven 4
5 A ing Approach for Quality-Driven 5 The objective of this work is to identify and specify the set of interrelated viewpoints (by means of a multimodel) for deriving product architectures in the context of SPL. The multimodel will comprise the set of viewpoints of interest (functional, variability quality, ) allowing the explicit representation of the relationships and constraints among the elements on these viewpoints. This multimodel will be the input for a quality-driven model transformation process which will apply architectural transformations to the SPL architecture to fulfill the required quality level.
6 A ing Approach for Quality-Driven 6 Definition A viewpoint is an abstraction that yields a specification of the whole system restricted to a particular set of concerns. In any given viewpoint it is possible to define a model of the system that contains only the objects that are visible from that viewpoint. Such a model is known as a viewpoint model, or a view of the system from that viewpoint (NIST 6928, 2003) 1. A multimodel is a set of interrelated models that represents different viewpoints of a particular system 2. 1 National Institute of Standards and Technology, U.S. Dept. of Commerce, USA 2 The term system encompasses individual applications, systems in the traditional sense, subsystems, systems of systems, product lines, product families, whole enterprises, and other aggregations of interest.
7 Viewpoints for SPL In SPL, the multimodel is used to represent the different viewpoints of the set of products that can be derived from the SPL. This multimodel comprises 4 viewpoints of interest and the relationships among them: Variability: expressing the commonalities and variations within the SPL. It can be represented by a Cardinality-based Feature Model. Functional: expressing the functional components that satisfy the SPL requirements. It can be defined using different styles (e.g., component-and-connector). Quality: expressing the quality characteristics and attributes. It can be represented by a Quality Model (e.g. ISO 25010, IEEE 830). Transformations: expressing the possible available transformations (e.g., architectural patterns represented as transformations). A ing Approach for Quality-Driven Domain Engineering Application Engineering 7
8 A ing Approach for Quality-Driven 8 Relationships among Views Establishing relationships among elements of the viewpoint models in the multimodel allow us to analyze properties over the SPL as a whole. Functional and variability: elements in the functional view (e.g., AADL systems, system implementations, devices, and processes) can be combined to fulfill the requirements of one or more features E.g., a multimedia GPS navigator feature in a car is fulfilled by a combination of software and hardware functional components. Functional and quality: elements of the functional view may impact one or more quality attributes of the product E.g., integrating functional components in the functional view with low resource consumption will impact on the resource consumption quality attribute of the quality view. Variability and quality: features (or feature groups) in the variability view may impact one or more quality attributes of the product E.g., a feature group related to safety options may improve the reliability of a system. Transformation and quality: architectural patterns in the transformation view may impact quality attributes of the product. This allows using quality attributes as a decision factor in the selection among architectural transformations. E.g., the Homogeneous Redundancy (HR) pattern improves the reliability of a system.
9 A ing Approach for Quality-Driven 9 Metamodel (generic)
10 A ing Approach for Quality-Driven 10 Metamodel (for SPL)
11 A ing Approach for Quality-Driven 11 Example Variability View Excerpt [0..1] Stability Control Attributes Car Control Attributes [1..2] 0.2 [1..1] ABS Attributes 0.9 Quality View Excerpt Performance Resource Consumption Reliability Fault Tolerance Cost Functional View Excerpt antilock_brake_system abs_user_input abs_brake_out abs_brake_input abs_display_out abs_wheel_speed cruise_control_system cc_user_input cc_engine_input cc_throttle_out cc_brake_status cc_display_out cc_wheel_speed Transformation View Excerpt Triple Modular Redundancy Pattern Watchdog Pattern
12 A ing Approach for Quality-Driven 12 Quality-Driven In SPL, product definition begins with the derivation of the product architecture. The multimodel can be used to create product-specific production plans that describe how a specific product can be build from the core assets This includes how the product architecture can be derived from the PL architecture. The PL architecture defines the allowable variations within the product line s scope and the variation mechanisms for achieving them. However, in some cases the product architecture may include variation points that are not permitted by the original PL architecture but needed to assure some product-specific quality attributes. The multimodel can be used as input for deriving product architectures with the required quality attribute levels from the PL architecture. We use architectural patterns, which are represented as architectural transformations, as a means to improve the quality of the product architecture.
13 A ing Approach for Quality-Driven 13 Quality-Driven Two activities are carried out by model transformations: T1 - Product : applies the architectural transformations to an instance of the SPL to meet the required levels of quality attributes. T2 - Product Architecture Evaluation: applies the corresponding software measures from the quality model to the product architecture to assess if it meets the desired levels of quality attributes. T2 Product Architecture Product Line Architecture T1
14 A ing Approach for Quality-Driven 14 Quality-Driven The product architecture derivation is carried out by applying a qualitydriven model transformation approach Architectural patterns are represented as architectural transformations The application of architectural transformations generates different product architectures that satisfies different quality attributes. The domain expert should establish the impacts among architectural transformations and quality attributes. These impacts can be determined by using empirical evidence or the domain expert s experience. A trade-off analysis among quality attributes and architectural transformations is performed using the Analytic Hierarchy Process (AHP). The result of the AHP is a comparison matrix that shows the relative importance of each alternative with regard to each quality attribute. It is used in a quality-driven model transformation to select the appropriate architectural transformation to be applied.
15 Example: The Vehicle Control System The Vehicle Control System contains several subsystems (features): Antilock Braking System (ABS): ensures that the maximum braking force is transmitted to all four wheels of the vehicle. Traction Control System (TCS): prevents the wheels from slipping. Stability Control System (SCS): keeps the vehicle going in the direction in which the driver is steering the car. Cruise Control System (CC): attempts to maintain a constant driver determined. A ing Approach for Quality-Driven 15
16 Example: Subsystems Architecture Each subsystem consists of: Capturing input signals from sensors. Processing and transforming those inputs, based on specific control laws Sending the processed output (a control value) to an actuator that affects the state of some other subsystems or mechanical parts of the car (e.g., engine, throttle position, brakes, security belts). A ing Approach for Quality-Driven 16
17 A ing Approach for Quality-Driven 17 Example: Quality Attributes Safety, reliability, and performance are those key quality attributes in realtime embedded systems for the automotive domain: Reliability: the degree to which a system, product or component performs specified functions under specified conditions Fault tolerance: the degree to which a system operates as intended despite the presence of hardware or software faults. Metric: Key Node Safety Performance: characterized by the amount of resources used under stated condition for a stated period of time Time-behavior: the degree to which the response and processing times and throughput rates of a product or system meet the requirements when performing its functions. Metric: Latency time: time elapsed between firing an input event and obtaining the response from the system.
18 Example: Architectural Transformations (architectural patterns) The alternative architectural transformations considered here are: The Homogeneous Redundancy pattern (HR) Improves reliability offering two units of subsystem monitoring and performing the same operations on the input signals. The primary channel runs as long as there are no problems detected. When a failure in the primary channel is detected, the system switches to the backup channel and vice versa. There is no concurrency at run-time, only replication. The Triple Modular Redundancy pattern (TMR) Improves reliability (as well as safety) of a system by offering an odd number of channels operating in parallel. if there is a disagreement between channels, then the results with a two out of three majority win and are sent to the actuator. A ing Approach for Quality-Driven 18
19 A ing Approach for Quality-Driven 19 Example: Trade-Off Analysis (AHP) The domain expert ranks the N architectural patterns (2) with regard to the Q quality attributes (2) in a pairwise comparison: a) An AHP weight is assigned (e.g., TMR is strongly most important than HR = 5) b) The resulting matrix in (a) is normalized applying formula (1) c) The Impact is calculated applying formula (2)
20 A ing Approach for Quality-Driven 20 Example: T1 - Product Architecture derivation According to the multimodel relationships, if the quality attribute selected is fault tolerance the transformation will apply the triple modular redundancy pattern
21 A ing Approach for Quality-Driven 21 Example: T1 - Product Architecture derivation If the quality attribute selected is latency the transformation will apply the homogenous redundancy pattern The approach also supports multi-criteria quality attributes by ranking the relative importance of the quality attributes.
22 A ing Approach for Quality-Driven 22 Example: T2 - Architecture Evaluation We evaluate the derived product architecture to assess if the architectural transformation resulted in an improvement of its quality. We compare the measures values obtained over the product architectures with and without applying the architectural pattern. E.g., we use the the fault tolerance quality attribute to illustrate the product architecture evaluation after applying the Triple Modular Redundancy pattern: The fault tolerance attribute is measured by applying the Key Node Safety (KNS) metric on a fault tree for the product architecture. The value of the KNS metric expresses how a mutation of a system improves its fault tolerance; the higher value of the metric is the better the fault tolerance the system has.
23 A ing Approach for Quality-Driven 23 Example: T2 - Architecture Evaluation Key Node Identification Fault Tree of the original architecture Fault Tree after applying the TMR Pattern
24 A ing Approach for Quality-Driven 24 Example: T2 - Architecture Evaluation Metric Operationalization The following formula calculates the key node safety (KNS) metric: Original TMR k: Number of key nodes in the fault tree 0 1 h': Total height of the fault tree n: Total number of nodes in the fault tree 7 18 c i : Number of nodes in the sub-tree rooted at key node k i 0 15 d i : Depth of the sub-tree rooted at key node ki S: Key Node Safety Metric The metric results indicates that the TMR pattern improves the fault tolerance of the product when compared to the values of the original product architecture (0.069 > 0).
25 A ing Approach for Quality-Driven 25 We presented an approach for dealing with viewpoints in SPL development (product architecture). It includes the following: A multimodel that explicitly represents the PL from multiple and interrelated viewpoints. A model transformation process that generates product architectures driven by the required quality attributes from the product line architecture. The feasibility of the approach has been illustrated with an example of the automotive domain. Two different product architectures were generated and evaluated by applying architectural transformations to a fragment of a product line architecture. The multimodel and the model transformation process have been implemented in a prototype in the Eclipse Modeling Framework using the QVT language standard.
26 A ing Approach for Quality-Driven 26 The multimodel helps to have a richer semantic view of the SPL. Knowledge preservation. It provides a sufficiently formal interrelated model that can be supported by tools capable of automating portions of the PL production planning. The architectural transformations are guided by the relationships and constraints established in the multimodel. Rationale documentation.
27 A ing Approach for Quality-Driven 27 Use the multimodel for product configuration To select and deploy core assets on the product architecture, based not only on functional requirements but also on quality attribute requirement levels. Analyze the intra and inter model consistency. To represent the multimodel in a format that can be read by existing solvers (e.g., FAMA) Apply this approach to different domains where different patterns and quality attributes have been identified. At this moment, we only consider the relative importance of a quality attribute regarding other viewpoint elements We are also working to deal with specific NFR associated to quality attributes (e.g., RNF001 = cruise control reliability must range from to 0.999) reliability = f(fault tolerance, availability) Considering the RDAL annex as a viewpoint in the multimodel.
28 A ing Approach for Quality-Driven 28 Thanks for your attention
Towards the Automatic Resolution of Architectural Variability in Software Product Line Architectures through Model Transformations
Towards the Automatic Resolution of Architectural Variability in Software Product Line Architectures through Model Transformations Jesús Benedé ISSI Research Group, Universitat Politècnica de València
More informationSafety and Reliability of Software-Controlled Systems Part 14: Fault mitigation
Safety and Reliability of Software-Controlled Systems Part 14: Fault mitigation Prof. Dr.-Ing. Stefan Kowalewski Chair Informatik 11, Embedded Software Laboratory RWTH Aachen University Summer Semester
More informationFailure Diagnosis and Prognosis for Automotive Systems. Tom Fuhrman General Motors R&D IFIP Workshop June 25-27, 2010
Failure Diagnosis and Prognosis for Automotive Systems Tom Fuhrman General Motors R&D IFIP Workshop June 25-27, 2010 Automotive Challenges and Goals Driver Challenges Goals Energy Rising cost of petroleum
More informationInvestigation of System Timing Concerns in Embedded Systems: Tool-based Analysis of AADL Models
Investigation of System Timing Concerns in Embedded Systems: Tool-based Analysis of AADL Models Peter Feiler Software Engineering Institute phf@sei.cmu.edu 412-268-7790 2004 by Carnegie Mellon University
More informationDeriving safety requirements according to ISO for complex systems: How to avoid getting lost?
Deriving safety requirements according to ISO 26262 for complex systems: How to avoid getting lost? Thomas Frese, Ford-Werke GmbH, Köln; Denis Hatebur, ITESYS GmbH, Dortmund; Hans-Jörg Aryus, SystemA GmbH,
More informationFeature Model to Orthogonal Variability Model Transformation towards Interoperability between Tools
Feature Model to Orthogonal Variability Model Transformation towards Interoperability between Tools Fabricia Roos-Frantz 1, David Benavides 2 and Antonio Ruiz-Cortés 2 1 Unijuí, Departmento de Tecnologia
More informationMapping Software Product Line Features to Unmanned Aerial Vehicle Models
Mapping Software Product Line Features to Unmanned Aerial Vehicle Models Vanderson H. Fragal, Edson A. Oliveira Junior, Itana M. S. Gimenes Informatics Department State University of Maringá Maringá-PR,
More information5/9/2014. Recall the design process. Lecture 1. Establishing the overall structureof a software system. Topics covered
Topics covered Chapter 6 Architectural Design Architectural design decisions Architectural views Architectural patterns Application architectures Lecture 1 1 2 Software architecture The design process
More informationArchitectural Design. Topics covered. Architectural Design. Software architecture. Recall the design process
Architectural Design Objectives To introduce architectural design and to discuss its importance To explain the architectural design decisions that have to be made To introduce three complementary architectural
More informationPattern-Based Analysis of an Embedded Real-Time System Architecture
Pattern-Based Analysis of an Embedded Real-Time System Architecture Peter Feiler Software Engineering Institute phf@sei.cmu.edu 412-268-7790 Outline Introduction to SAE AADL Standard The case study Towards
More informationArchitectural Design
Architectural Design Topics i. Architectural design decisions ii. Architectural views iii. Architectural patterns iv. Application architectures Chapter 6 Architectural design 2 PART 1 ARCHITECTURAL DESIGN
More informationIs This What the Future Will Look Like?
Is This What the Future Will Look Like? Implementing fault tolerant system architectures with AUTOSAR basic software Highly automated driving adds new requirements to existing safety concepts. It is no
More informationLecture 16: (Architecture IV)
Lecture 16: (Architecture IV) Software System Design and Implementation ITCS/ITIS 6112/8112 091 Fall 2008 Dr. Jamie Payton Department of Computer Science University of North Carolina at Charlotte Oct.
More informationA CAN-Based Architecture for Highly Reliable Communication Systems
A CAN-Based Architecture for Highly Reliable Communication Systems H. Hilmer Prof. Dr.-Ing. H.-D. Kochs Gerhard-Mercator-Universität Duisburg, Germany E. Dittmar ABB Network Control and Protection, Ladenburg,
More informationArchitectural Design
Architectural Design Topics i. Architectural design decisions ii. Architectural views iii. Architectural patterns iv. Application architectures PART 1 ARCHITECTURAL DESIGN DECISIONS Recap on SDLC Phases
More informationRE for Embedded Systems - Part 1
REQUIREMENTS ENGINEERING LECTURE 2017/2018 Dr. Jörg Dörr RE for Embedded Systems - Part 1 Fraunhofer IESE Lecture Outline Embedded systems and their characteristics Requirements specifications (for embedded
More informationObjectives. Architectural Design. Software architecture. Topics covered. Architectural design. Advantages of explicit architecture
Objectives Architectural Design To introduce architectural design and to discuss its importance To explain the architectural design decisions that have to be made To introduce three complementary architectural
More informationLecture 1. Chapter 6 Architectural design
Chapter 6 Architectural Design Lecture 1 1 Topics covered Architectural design decisions Architectural views Architectural patterns Application architectures 2 Software architecture The design process
More informationSyllabus Instructors:
Introduction to Real-Time Systems Embedded Real-Time Software Lecture 1 Syllabus Instructors: Dongsoo S. Kim Office : Room 83345 (031-299-4642) E-mail : dskim@iupui.edu Office Hours: by appointment 2 Syllabus
More informationChapter 6 Architectural Design. Chapter 6 Architectural design
Chapter 6 Architectural Design 1 Topics covered Architectural design decisions Architectural views Architectural patterns Application architectures 2 Software architecture The design process for identifying
More informationDr. Javier González Huerta
DEPARTMENT OF SOFTWARE ENGINEERING Blekinge Institute of Technology Campus Gräsvik 371 79 Karlskrona, Sweden Tel. +46 73-422 35 53 Email: jagonhue@gmail.com Web page: http://www.gonzalez-huerta.net LinkedIn:
More informationSoftware Verification and Validation (VIMMD052) Introduction. Istvan Majzik Budapest University of Technology and Economics
Software Verification and Validation (VIMMD052) Introduction Istvan Majzik majzik@mit.bme.hu Budapest University of Technology and Economics Dept. of Measurement and Information s Budapest University of
More informationImpact of Runtime Architectures on Control System Stability
Impact of Runtime Architectures on Control System Stability P. Feiler, J. Hansson Software Engineering Institute, Pittsburgh, PA Abstract: Control systems are sensitive to the endto-end latency and age
More informationArchitectural Design
Architectural Design Objectives To introduce architectural design and to discuss its importance To explain the architectural design decisions that have to be made To introduce three complementary architectural
More informationSemantics-Based Integration of Embedded Systems Models
Semantics-Based Integration of Embedded Systems Models Project András Balogh, OptixWare Research & Development Ltd. n 100021 Outline Embedded systems overview Overview of the GENESYS-INDEXYS approach Current
More informationFormal Methods and their role in Software and System Development. Riccardo Sisto, Politecnico di Torino
Formal Methods and their role in Software and System Development Riccardo Sisto, Politecnico di Torino What are Formal Methods? Rigorous (mathematical) methods for modelling and analysing (computer-based)
More informationUML-AADL 09: Towards a Model- Driven Approach for Mapping Requirements on AADL Mathieu DELEHAYE Christophe PONSARD
Potsdam, Germany 02/06/2009 UML-AADL 09: Towards a Model- Driven Approach for Mapping Requirements on AADL Mathieu DELEHAYE Christophe PONSARD Outline 1. Motivation 2. NFR and tools survey 3. Goal-oriented
More informationToolset for Mixed-Criticality Partitioned Systems: Partitioning Algorithm and Extensibility Support
1 Toolset for Mixed-Criticality Partitioned Systems: Partitioning Algorithm and Extensibility Support Alejandro Alonso, Emilio Salazar Dept. de Ingenería de Sistemas Telemáticos, Universidad Politécnica
More informationHuman Computer Interaction Lecture 06 [ HCI in Software Process ] HCI in the software process
Human Computer Interaction Lecture 06 [ HCI in Software Process ] Imran Ihsan Assistant Professor www.imranihsan.com aucs.imranihsan.com HCI06 - HCI in Software Process 1 HCI in the software process Software
More informationA MULTI-ROBOT SYSTEM FOR ASSEMBLY TASKS IN AUTOMOTIVE INDUSTRY
The 4th International Conference Computational Mechanics and Virtual Engineering COMEC 2011 20-22 OCTOBER 2011, Brasov, Romania A MULTI-ROBOT SYSTEM FOR ASSEMBLY TASKS IN AUTOMOTIVE INDUSTRY A. Fratu 1
More informationSoftware architecture in ASPICE and Even-André Karlsson
Software architecture in ASPICE and 26262 Even-André Karlsson Agenda Overall comparison (3 min) Why is the architecture documentation difficult? (2 min) ASPICE requirements (8 min) 26262 requirements (12
More informationLecture 13 Introduction to Software Architecture
Lecture 13 Introduction to Software Architecture Software Systems Design and Implementation ITCS/ITIS 6112/8112 Fall 2008 Dr. Jamie Payton Department of Computer Science University of North Carolina at
More informationCS4514 Real-Time Systems and Modeling
CS4514 Real-Time Systems and Modeling Fall 2015 José M. Garrido Department of Computer Science College of Computing and Software Engineering Kennesaw State University Real-Time Systems RTS are computer
More informationModel-based Architectural Verification & Validation
Model-based Architectural Verification & Validation Software Engineering Institute Carnegie Mellon University Pittsburgh, PA 15213 Peter H Feiler Feb. 2009 2006 Carnegie Mellon University Outline Architecture-Centric
More informationSTEP Data Governance: At a Glance
STEP Data Governance: At a Glance Master data is the heart of business optimization and refers to organizational data, such as product, asset, location, supplier and customer information. Companies today
More informationChapter 6 Architectural Design
Chapter 6 Architectural Design Chapter 6 Architectural Design Slide 1 Topics covered The WHAT and WHY of architectural design Architectural design decisions Architectural views/perspectives Architectural
More informationAutomotive Test Equipment
Automotive Test Equipment Automotive Test Equipment measurement example Pedal Force Transducers LPR-C Easy to install and use on a variety of pedals Light weight design reduces effect of transducer on
More informationEXPERIENCES FROM MODEL BASED DEVELOPMENT OF DRIVE-BY-WIRE CONTROL SYSTEMS
EXPERIENCES FROM MODEL BASED DEVELOPMENT OF DRIVE-BY-WIRE CONTROL SYSTEMS Per Johannessen 1, Fredrik Törner 1 and Jan Torin 2 1 Volvo Car Corporation, Department 94221, ELIN, SE-405 31 Göteborg, SWEDEN;
More informationLecture 19 Engineering Design Resolution: Generating and Evaluating Architectures
Lecture 19 Engineering Design Resolution: Generating and Evaluating Architectures Software Engineering ITCS 3155 Fall 2008 Dr. Jamie Payton Department of Computer Science University of North Carolina at
More informationISO/IEC/ IEEE INTERNATIONAL STANDARD. Systems and software engineering Architecture description
INTERNATIONAL STANDARD ISO/IEC/ IEEE 42010 First edition 2011-12-01 Systems and software engineering Architecture description Ingénierie des systèmes et des logiciels Description de l'architecture Reference
More informationAADL Requirements Annex Review
Dominique Blouin Lab-STICC Université de Bretagne-Occidentale Université de Bretagne-Sud Bretagne, France 1 AADL Standards Meeting, April 23 th, 2013 Agenda Comments from Annex Document Review Motivations
More informationChapter 6 Architectural Design. Lecture 1. Chapter 6 Architectural design
Chapter 6 Architectural Design Lecture 1 1 Topics covered ² Architectural design decisions ² Architectural views ² Architectural patterns ² Application architectures 2 Software architecture ² The design
More informationINFORMATION ASSURANCE DIRECTORATE
National Security Agency/Central Security Service INFORMATION ASSURANCE DIRECTORATE Digital Policy Management consists of a set of computer programs used to generate, convert, deconflict, validate, assess
More informationArchitecture Analysis and Design Language (AADL) Part 2
Architecture Analysis and Design Language (AADL) Part 2 1 Recap 2 Recap: My Car System 3 Today s topics Thread Process Connection Flow Latency analysis 4 Data Category The data category captures a data
More informationFoundation of Contract for Things
Foundation of Contract for Things C.Sofronis, O.Ferrante, A.Ferrari, L.Mangeruca ALES S.r.l. Rome The Internet of System Engineering INCOSE-IL Seminar, Herzliya, Israel 15 September, 2011 Software Platform
More informationSoftware Architecture. Lecture 4
Software Architecture Lecture 4 Last time We discussed tactics to achieve architecture qualities We briefly surveyed architectural styles 23-Jan-08 http://www.users.abo.fi/lpetre/sa08/ 2 Today We check
More informationVerification, Validation, and Test with Model-Based Design
2008-01-2709 Verification, Validation, and Test with Model-Based Design Copyright 2008 The MathWorks, Inc Tom Erkkinen The MathWorks, Inc. Mirko Conrad The MathWorks, Inc. ABSTRACT Model-Based Design with
More informationHCI in the software process
chapter 6 HCI in the software process HCI in the software process Software engineering and the process for interactive systems Usability engineering Iterative and prototyping Design rationale the software
More informationHCI in the software. chapter 6. HCI in the software process. The waterfall model. the software lifecycle
HCI in the software process chapter 6 HCI in the software process Software engineering and the process for interactive systems Usability engineering Iterative and prototyping Design rationale the software
More informationPartitioned Control Challenge Problem
Partitioned Control Challenge Problem Introduction The lack of model-based tools to analyze and implement the distribution of software functionality between multiple targets is a problem faced in the automotive
More informationEthernet TSN as Enabling Technology for ADAS and Automated Driving Systems
IEEE-2016 January 17-22, Atlanta, Georgia Ethernet TSN as Enabling Technology for ADAS and Automated Driving Systems Michael Potts General Motors Company co-authored by Soheil Samii General Motors Company
More informationWhite Paper: VANTIQ Digital Twin Architecture
Vantiq White Paper www.vantiq.com White Paper: VANTIQ Digital Twin Architecture By Paul Butterworth November 2017 TABLE OF CONTENTS Introduction... 3 Digital Twins... 3 Definition... 3 Examples... 5 Logical
More informationModeling Issues Modeling Enterprises. Modeling
Modeling Issues Modeling Enterprises SE502: Software Requirements Engineering Modeling Modeling can guide elicitation: It can help you figure out what questions to ask It can help to surface hidden requirements
More informationDependability. IC Life Cycle
Dependability Alberto Bosio, Associate Professor UM Microelectronic Departement bosio@lirmm.fr IC Life Cycle User s Requirements Design Re-Cycling In-field Operation Production 2 1 IC Life Cycle User s
More informationOverview of Product Information Interoperability Using STEP (ISO 10303)
Overview of Product Information Interoperability Using STEP (ISO 10303) Diego Tamburini 1997 For Georgia Tech ME6754 et al. 5/98 Updates - M. C. Ramesh 11/00 Updates - R. Peak 1 Product Information Interoperability
More informationModel Driven Engineering in High Tech Industry
Model Driven Engineering in High Tech Industry Mark van den Brand LUCAS-dagen, Lund, October 2016 Short introduction of myself 1992-1997: Assistant professor at UvA (NL) 1997-2005: Senior researcher at
More informationApplying MDA Modeling to Development of Real-Time Software
Applying MDA Modeling to Development of Real-Time Software Using a model-driven architecture approach to developing real-time systems offers developers enhanced communication of the requirements from domain
More informationAmrita Vishwa Vidyapeetham. ES623 Networked Embedded Systems Answer Key
Time: Two Hours Amrita Vishwa Vidyapeetham M.Tech Second Assessment February 2013 Second Semester Embedded Systems Roll No: ES623 Networked Embedded Systems Answer Key Answer all Questions Maximum: 50
More informationStar rating driver safety behavior by the use of smart technologies
RoundTable Use of technology and its impact on road safety New York, June 14, 2016 Star rating driver safety behavior by the use of smart technologies George Yannis, Professor National Technical University
More informationELEC 5260/6260/6266 Embedded Computing Systems
ELEC 5260/6260/6266 Embedded Computing Systems Spring 2019 Victor P. Nelson Text: Computers as Components, 4 th Edition Prof. Marilyn Wolf (Georgia Tech) Course Web Page: http://www.eng.auburn.edu/~nelsovp/courses/elec5260_6260/
More informationSysML Modeling Guide for Target System
SysML Modeling Guide for Target System /4 Table of Contents Scope...4 2 Overview of D-Case and SysML Modeling Guide...4 2. Background and Purpose...4 2.2 Target System of Modeling Guide...5 2.3 Constitution
More informationArchitectural Blueprint
IMPORTANT NOTICE TO STUDENTS These slides are NOT to be used as a replacement for student notes. These slides are sometimes vague and incomplete on purpose to spark a class discussion Architectural Blueprint
More informationModel Based Systems Engineering at DARP. Alek Radjenovic (Malcolm Wallace, Philippa Conmy, John McDermid, Richard Paige)
Model Based Systems Engineering at DARP Alek Radjenovic (Malcolm Wallace, Philippa Conmy, John McDermid, Richard Paige) Outline Background to HIRTS DARP Architectural Descriptions and Modelling Contracts
More informationTU Wien. Excerpt by Hermann Härtig The Rationale for Time-Triggered (TT) Ethernet. H Kopetz TU Wien December H. Kopetz 12.
TU Wien 1 Excerpt by Hermann Härtig The Rationale for Time-Triggered (TT) Ethernet H Kopetz TU Wien December 2008 Time 2 Whenever we use the term time we mean physical time as defined by the international
More informationTU Wien. Shortened by Hermann Härtig The Rationale for Time-Triggered (TT) Ethernet. H Kopetz TU Wien December H. Kopetz 12.
TU Wien 1 Shortened by Hermann Härtig The Rationale for Time-Triggered (TT) Ethernet H Kopetz TU Wien December 2008 Properties of a Successful Protocol 2 A successful real-time protocol must have the following
More informationCprE 458/558: Real-Time Systems. Lecture 17 Fault-tolerant design techniques
: Real-Time Systems Lecture 17 Fault-tolerant design techniques Fault Tolerant Strategies Fault tolerance in computer system is achieved through redundancy in hardware, software, information, and/or computations.
More informationHuman Computer Interaction Lecture 14. HCI in Software Process. HCI in the software process
Human Computer Interaction Lecture 14 HCI in Software Process HCI in the software process Software engineering and the design process for interactive systems Usability engineering Iterative design and
More informationReliable Statements about a Fault-Tolerant X-by-Wire ecar. Reliable Statements about a Fault-Tolerant X-by-Wire ecar Unrestricted 2017 Siemens AG
Reliable Statements about a Fault-Tolerant X-by-Wire ecar Reliable Statements about a Fault-Tolerant X-by-Wire ecar Unrestricted 2017 Siemens AG Reliable Statements about a Fault-Tolerant X-by-Wire ecar
More informationIntroducing Cyber Resiliency Concerns Into Engineering Education
Introducing Cyber Resiliency Concerns Into Engineering Education Mr. Tom McDermott Georgia Tech Research Institute Mr. Barry Horowitz University of Virginia NDIA 20 th Annual Systems Engineering Conference
More informationCOrDeT Cannes : Use of domain engineering process to develop reusable architectures and building-blocks
COrDeT Cannes : Use of domain engineering process to develop reusable architectures and building-blocks G. Garcia 1, X. Olive 1, A. Pasetti 2, O. Rohlik 2, T. Vardanega 3, A.-I. Rodríguez-Rodríguez 4 A.
More informationArchitectural Modelling in Product Family Context
Architectural Modelling in Product Family Context Rodrigo Cerón, José L. Arciniegas, José L. Ruiz, Juan C. Dueñas (Universidad Politécnica de Madrid) Jesús Bermejo (Telvent) Rafael Capilla (Universidad
More informationAADL Simulation and Performance Analysis in SystemC
Fourth IEEE International workshop UML and AADL 2nd June 2009 Potsdam, Germany Roberto Varona Gómez Eugenio Villar {roberto, evillar}@teisa.unican.es University of Cantabria, Santander, Spain. This work
More informationFunctional Safety Architectural Challenges for Autonomous Drive
Functional Safety Architectural Challenges for Autonomous Drive Ritesh Tyagi: August 2018 Topics Market Forces Functional Safety Overview Deeper Look Fail-Safe vs Fail-Operational Architectural Considerations
More informationSemantics of ARIS Model
Semantics of ARIS Model Why is Semantics Important? Jon Atle Gulla An analysis of the ARIS ing language with respect to - conceptual foundation and - formal properties Green, P. and M. Rosemann: An Ontological
More informationUpdate on AADL Requirements Annex
Open-PEOPLE Open Power and Energy Optimization PLatform and Estimator Update on AADL Requirements Annex Dominique BLOUIN* *Lab-STICC, Université de Bretagne Sud, Lorient, FRANCE AADL Standards Meeting,
More informationPattern-Based Architectural Design Process Model
Pattern-Based Architectural Design Process Model N. Lévy, F. Losavio Abstract: The identification of quality requirements is crucial to develop modern software systems, especially when their underlying
More informationHDL. Operations and dependencies. FSMs Logic functions HDL. Interconnected logic blocks HDL BEHAVIORAL VIEW LOGIC LEVEL ARCHITECTURAL LEVEL
ARCHITECTURAL-LEVEL SYNTHESIS Motivation. Outline cgiovanni De Micheli Stanford University Compiling language models into abstract models. Behavioral-level optimization and program-level transformations.
More informationInformation technology Biometric data interchange formats Part 5: Face image data
INTERNATIONAL STANDARD ISO/IEC 19794-5:2005 TECHNICAL CORRIGENDUM 2 Published 2008-07-01 INTERNATIONAL ORGANIZATION FOR STANDARDIZATION МЕЖДУНАРОДНАЯ ОРГАНИЗАЦИЯ ПО СТАНДАРТИЗАЦИИ ORGANISATION INTERNATIONALE
More informationModule 1 Introduction. IIT, Bombay
Module 1 Introduction Lecture 2 Concept Generation and Evaluation Instructional objectives The primary objective of this lecture is to outline the importance of concept generation and selection in decision
More informationIntra-Vehicular Wireless Sensor Networks
Intra-Vehicular Wireless Sensor Networks Sinem Coleri Ergen (joint with Yalcin Sadi, C. Umit Bas) Wireless Networks Laboratory, Electrical and Electronics Engineering, Koc University Outline Motivation
More informationMATLAB Expo Simulation Based Automotive Communication Design using MATLAB- SimEvent. Sudhakaran M Anand H General Motors
MATLAB Expo 2013 Simulation Based Automotive Communication Design using MATLAB- SimEvent Sudhakaran M Anand H General Motors 1 Agenda Introduction Different Analysis Methods Analytical vs. Simulation Approach
More informationGENERATION TOOL FOR DBMS FOCUSED APPLICATIONS
GENERATION TOOL FOR DBMS FOCUSED APPLICATIONS Carlos del Cuvillo Universidad Politecnica de Madrid Ctra. de Valencia km. 7 E28031 Madrid Hector Garcia Universidad Politecnica de Madrid Ctra. de Valencia
More informationOutline. SLD challenges Platform Based Design (PBD) Leveraging state of the art CAD Metropolis. Case study: Wireless Sensor Network
By Alberto Puggelli Outline SLD challenges Platform Based Design (PBD) Case study: Wireless Sensor Network Leveraging state of the art CAD Metropolis Case study: JPEG Encoder SLD Challenge Establish a
More informationMOBILE APPLICATION USER INTERFACE OVERVIEW
MOBILE APPLICATION USER INTERFACE OVERVIEW 1 CONTENTS User Registration Application Navigation Dashboard WiFi Hotspot Menu Vehicle Health Family Mode 03 04 05 06 07 08 Vehicle Alerts Geofence Trips Driving
More informationAutomotive Functional Safety
Automotive Functional Safety Complexity, Confidence, Compliance, Certification Farmington, 2018-03-22 23.03.2018 150 years TÜV SÜD 150 years of inspiring trust Inspiring trust since 1866 The year 2016
More informationValidation of Complex. Systems
Validation of Complex Systems EVoCS Evolutionary Validation of Complex Systems Ross McMurran WMG, University of Warwick ross.mcmurran@warwick.ac.uk Lead Partner: Partners: 1 Content Introduction Systems
More informationSoftware Architecture
Software Architecture Does software architecture global design?, architect designer? Overview What is it, why bother? Architecture Design Viewpoints and view models Architectural styles Architecture asssessment
More informationAutomatic Test Markup Language <ATML/> Sept 28, 2004
Automatic Test Markup Language Sept 28, 2004 ATML Document Page 1 of 16 Contents Automatic Test Markup Language...1 ...1 1 Introduction...3 1.1 Mission Statement...3 1.2...3 1.3...3 1.4
More informationSubsystem Hazard Analysis (SSHA)
Subsystem Hazard Analysis (SSHA) c "!$#%! Examine subsystems to determine how their Normal performance Operational degradation Functional failure Unintended function Inadvertent function (proper function
More informationSWE 760 Lecture 1: Introduction to Analysis & Design of Real-Time Embedded Systems
SWE 760 Lecture 1: Introduction to Analysis & Design of Real-Time Embedded Systems Hassan Gomaa References: H. Gomaa, Chapters 1, 2, 3 - Real-Time Software Design for Embedded Systems, Cambridge University
More informationIntroduction to Real-time Systems. Advanced Operating Systems (M) Lecture 2
Introduction to Real-time Systems Advanced Operating Systems (M) Lecture 2 Introduction to Real-time Systems Real-time systems deliver services while meeting some timing constraints Not necessarily fast,
More informationFundamentals to Creating Architectures using ISO/IEC/IEEE Standards
Fundamentals to Creating Architectures using ISO/IEC/IEEE Standards What to Architect? How to Architect? IEEE Goals and Objectives Chartered by IEEE Software Engineering Standards Committee to: Define
More informationCourse Contents: 1 Business Objects Online Training
IQ Online training facility offers Business Objects online training by trainers who have expert knowledge in the Business Objects and proven record of training hundreds of students Our Business Objects
More informationFinal Project Report
16.04.02 Final Project Report Document information Project Title HP Tool Repository of SESAR standard HP methods and tools Project Number 16.04.02 Project Manager DFS Deliverable Name 16.04.02 Final Project
More informationSommerville Chapter 6 The High-Level Structure of a Software Intensive System. Architectural Design. Slides courtesy Prof.
Sommerville Chapter 6 The High-Level Structure of a Software Intensive System Architectural Design Slides courtesy Prof.Mats Heimdahl 1 Fall 2 2013 Architectural Parallels Architects are the technical
More informationArchitectural-Level Synthesis. Giovanni De Micheli Integrated Systems Centre EPF Lausanne
Architectural-Level Synthesis Giovanni De Micheli Integrated Systems Centre EPF Lausanne This presentation can be used for non-commercial purposes as long as this note and the copyright footers are not
More informationDatabase Design with Entity Relationship Model
Database Design with Entity Relationship Model Vijay Kumar SICE, Computer Networking University of Missouri-Kansas City Kansas City, MO kumarv@umkc.edu Database Design Process Database design process integrates
More informationAADS+: AADL Simulation including the Behavioral Annex
AADS+: AADL Simulation including the Behavioral Annex Fifth IEEE International workshop UML and AADL 24th March 2010, Oxford, UK Roberto Varona Gómez Eugenio Villar {roberto, evillar}@teisa.unican.es University
More informationQuantitative Verification and Synthesis of Systems
Quantitative Verification and Synthesis of Systems Sanjit A. Seshia Assistant Professor EECS, UC Berkeley Software-at-Scale Workshop August 2010 Quantitative Analysis / Verification Does the brake-by-wire
More informationSelf-adaptability in Secure Embedded Systems: an Energy-Performance Trade-off
Self-adaptability in Secure Embedded Systems: an Energy-Performance Trade-off N. Botezatu V. Manta and A. Stan Abstract Securing embedded systems is a challenging and important research topic due to limited
More information