AADL Core Questions Denis Buzdalov Alexey Khoroshilov Alexander Ugnenko SAE AS-2C AADL Winter Meeting 2014
|
|
- Dominic Bell
- 5 years ago
- Views:
Transcription
1 AADL Core Questions Denis Buzdalov Alexey Khoroshilov Alexander Ugnenko SAE AS-2C AADL Winter Meeting 2014
2 Question 1
3 Q1: The Problem Sender Receiver Data flow: Sender Receiver Implementation is not known yet Latency requirement (< 100 ms) Question: How to represent the requirement in AADL?
4 Q1: Existing Solutions There is no good solution, we have to: define connection(s) between processes define end to end flow over connection(s) define requirements (for example by property associations) for end to end flow
5 Q1: Possible Solution Allow to declare End To End Flow Specifications without connections: process A features out_feature : out feature; flows out_flow : flow source out_feature; end A; process B features in_feature : out feature; flows in_flow : flow sink in_feature; end A; system sys end sys; system implementation sys.impl subcomponents a : process A; b : process B; flows fl : end to end flow a.out_flow -> b.in_flow; end sys.impl;
6 Question 2
7 Q2: The Problem
8 Q2: The Problem
9 Q2: The Problem
10 Q2: The Problem
11 Q2: The Problem
12 Q2: The Problem
13 Q2: The Problem
14 Question 3
15 Q3: The Problem Length_Unit : type units ( mm, cm => mm * 10, m => cm * 100, km => m * 1000 ); Time_Unit : type units ( sec, min => sec * 60, hour => min * 60 ); Speed_Unit : type units ( mph, mpsec => mph * 3600, kmpsec => mpsec * 1000, kmph => mph * 1000 ); Manually describe Cartesian product of units Unreadable units abbreviations
16 Q3: Possible Solution Two new types of expressions: Derived unit types expression can be used when a value can be expressed as a multiplication and division of some other unit types. Example in a declaration of a property data_speed_prop1 : aadlinteger units Size_Units / Time_Units; Example in a declaration of a unit type Data_Speed_Units : type units Size_Units / Time_Units; data_speed_prop2 : aadlinteger units Data_Speed_Units; A set of units of such unit types can be derived automatically from existing units as a combination. Example of derived unit expressions data_speed_prop1 => 1 byte / sec; data_speed_prop2 => 8 GByte / hour;
17 Q3: Still A Problem? ISQ (international system of quantities) defines force as a multiplication of mass and length divided to a second power of time. To express this with suggested derived unit types expressions it is enough to define Force_Units in the following way: Force_Units : type units Mass_Units * Length_Units / Time_Units^2; or with some intermediate unit types (as it seems to be more adequate): Speed_Units : type units Length_Units / Time_Units Acceleration_Units : type units Speed_Units / Time_Units; Force_Units : type units Mass_Units * Acceleration_Units; But SI (international system of units) that bases on ISQ, defines 1 newton as 1 kg * 1 m / 1 sec^2.
18 Q3: Still A Problem? (2) Force_Units : type units (newton, knewton => newton * 1000); annex unit_relations (** Force_Units[newton] = Mass_Units[kg] * Length_Units[m] / Time_Units[sec]^2; **) But why relation between unit type Acceleration_Units and related Speed_Units can be expressed in AADL Core, while relation between Force_Units and Mass_Units cannot?
19 Q3: Possible Solution #2 Two new types of expressions + something else: Force_Units : type units Mass_Units * Acceleration_Units (newton, knewton => newton * 1000 );
20 Q3: Possible Solution #2 Two new types of expressions + something else: Force_Units : type units Mass_Units * Acceleration_Units (newton ==> kg * m / sec^2, knewton => newton * 1000 );
21 Q3: Namespace Problems property set PS1 is A_units : type units (a1, a2 => a1 * 10); a_prop : aadlinteger units A_units; end PS1; property set PS2 is B_units : type units (b, b1 => b * 100); C_units : type units A_units * B_units (c ==> a1*b1, a1 => c * 100); end PS2; property set PS3 is c_prop : aadlinteger units C_units * B_units; end PS3;
22 Q3: Namespace Problems package P1 public with PS1; system S1 properties PS1::a_prop => 10 a1; -- using of just a1 is ok because -- only PS1 is imported. end S1; end P1;
23 Q3: Namespace Problems package P2 public with PS1, PS2, PS3; system S2 properties -- PS1::a_prop => 10 a1; -- using of just a1 is NOT ok -- because it is ambiguous. PS1::a_prop => 10 PS1::A_units[a1]; PS2::c_prop => 10 PS1::A_units[a1]*PS1::B_units[a1]; end S2; end P2;
24 Question 4
25 Q4: The Problem AADL Specification is silent about semantics of property 'Implemented_As' How to combine a detailed model of a component with a bigger picture?
26 Q4: Case #1 CPM_Model_XYZ
27 Q4: Consistency Rules CPM is substituted by CPM_Model_XYZ i.e. subdeclarations from CPM_Model_XYZ can be referenced in CPM
28 Q4: Case #2 CPM_Model_XYZ
29 Q4: Consistency Rules CMP_Model_XYZ must has the same interfaces as CPM_Type: for each feature and flow of CPM_Type there is one with the same identifier in CMP_Model_XYZ and it follows 'refined to' rule
30 Q4: Case #3 CPM_Model_XYZ
31 Q4: Consistency Rules Namespace of CPM is a composition of namespaces of CPM_Type.impl and CPM_Model_XYZ i.e. subdeclarations from CPM_Model_XYZ can be referenced in CPM property values evaluated according to the rules in AADL-11.3 (12) as if CPM_Model_XYZ extends CPM_Type.impl
32 Q4: Consistency Rules CMP_Model_XYZ must be consistent with CPM_Type.impl: If CMP_Model_XYZ contains a classifier feature with the same identifier as in CPM_Type.impl, it have to follow 'refined to' rule
33 Q4: Implemented_As for Buses??? Provides Bus Access refinement System have to Provide Bus Accesses? Mapping? Virtual Bus does not provide Bus Access? Bindings to Virtual Bus to system?
34 Question 5
35 Q5: The Problem
36 Q5: The Problem
37 Q5: The Problem
38 Q5: The Problem
39 Q5: The Problem
40 Q5: Possible Solution Introduce a new category 'VIRTUAL MEMORY' Subcomponents of this category may be defined in PROCESSOR or VIRTUAL PROCESSOR components Components of 'VIRTUAL MEMORY' can have subcomponents only same category (possibility for defining regions of address space) Components of 'VIRTUAL MEMORY' can be bound to 'MEMORY' components If allow to define subcomponents of 'VIRTUAL MEMORY' outside PROCESSOR components then allow these subcomponents bind to processors. Binding will define relations between processor and address space
41 Question 6
42 Q6: The Problem A possibility of defining modes in component types As described in AADL-4.3(1): A component type specifies the external interface of a component that its implementations satisfy. Component types shouldn't define any internal structures of component. It is prerogative of component implementations.
43 Q6: The Problem (2) ABSTRACT comptype //define features FLOWS fl1 : flow source f1 in modes (m1); MODES m1 : initial mode; m2 : mode; END comptype; ABSTRACT systype //define features FLOWS sysfl1 : flow source f1; END systype; ABSTRACT IMPLEMENTATION systype.impl SUBCOMPONENTS subc1 : ABSTRACT comptype; // define connections FLOWS sysfl1 : flow source subc1.fl1 -> conn1 -> sysfl1; END systype.impl; // 'fl1' is active in mode 'm1', when subcomponents mode is changed to 'm2' implementation 'systype.impl' becomes invalid // by the way, semantics of 'in modes' subclause isn't described in AADL-10.1 (Flow Specifications)
44 Q6: The Problem (3) PROCESSOR x86 //define characteristics MODES realmode : initial mode; protectedmode : mode; END x86; PROCESSOR IMPLEMENTATION x86.vxwork653 SUBCOMPONENTS part_1 : VIRTUAL PROCESSOR in modes (partitions_set_1); part_2 : VIRTUAL PROCESSOR in modes (partitions_set_1); part_3 : VIRTUAL PROCESSOR in modes (partitions_set_2); part_4 : VIRTUAL PROCESSOR in modes (partitions_set_2); MODES // we can't declare modes if they defined in the type partitions_set_1 : initial mode; partitions_set_2 : mode; END x86.vxwork653; // Declaration of modes in the component types creates difficulties in reusing a third-party designed components
45 Question 7
46 Q7: The Problem (1) There is a family of processors: x86, ARM and a family of operating systems: GNU/Linux, Windows. How to describe core processing modules (CPM) based on these components in terms of AADL?
47 Q7: Existing Solutions (1) processor x86 properties -- processor specific properties end x86; processor Linux_x86 extends x86 properties -- OS specific properties end Linux_x86; processor arm properties -- processor specific properties end arm; processor Linux_arm extends arm properties -- OS specific properties (copy from 'Linux_x86') end Linux_arm; processor Windows_x86 extends x86 properties -- OS specific properties end Windows_x86; processor Windows_arm extends arm properties -- OS specific properties (copy from 'Windows_x86') end Windows_arm;
48 Q7: Existing Solutions (2) processor x86 properties -- processor specific properties end x86; processor Linux_x86 extends x86 properties -- OS specific Copy properties properties end Linux_x86; processor arm properties -- processor specific properties end arm; processor Linux_arm extends arm properties -- OS specific properties (copy from 'Linux_x86') end Linux_arm; processor Windows_x86 extends x86 Copy properties properties -- OS specific properties end Windows_x86; processor Windows_arm extends arm properties -- OS specific properties (copy from 'Windows_x86') end Windows_arm;
49 Q7: The Problem (2) The task is a bit complicated, if there will be more types of processors (x86, arm, ppc, atmega, sparc,...) and more types of OS (GNU/Linux, Windows XP, Windows 7, Solaris, NetBSD,...). => Cartesian product of a set of types of processors on a set of types of operating systems
50 Q7: The Problem (3) Next problem is modeling CPM with same CPU+OS but with different interfaces: processor Linux_x86 extends x86 -end Linux_x86; processor Linux_x86_AFDX extends Linux_x86 features if : requires bus access AFDX; processor Linux_x86_CAN extends Linux_x86 features if : requires bus access CAN; end Linux_x86_AFDX; end Linux_x86_CAN; processor Linux_x86_A429 extends Linux_x86 features if : requires bus access A429; end Linux_x86_A429;
51 Q7: The Problem (4) Next problem is modeling CPM with same CPU+OS but with different interfaces: processor Linux_x86 extends x86 -end Linux_x86; processor Linux_x86_AFDX_CAN processor Linux_x86_CAN_A429 extends Linux_x86 extends Linux_x86 features features if_1 : requires bus access AFDX; if_1 : requires bus access CAN; if_2 : requires bus access CAN; if_2 : requires bus access A429; end Linux_x86; end Linux_x86; processor Linux_x86_A429_AFDX extends Linux_x86 features if_1 : requires bus access A429; if_2 : requires bus access AFDX; end Linux_x86;
52 Q7: Possible Solution processor x86 -end x86; processor Linux -end Linux; processor Linux_x86 extends Linux, x86 -end Linux_x86; processor withcan features ifcan : R.B.A. CAN; end withcan; processor Linux_x86_1 extends Linux, x86 -end Linux_x86_1; processor arm -end arm; processor Linux_arm extends Linux, arm -end Linux_arm; processor withafdx features ifcan : R.B.A. AFDX; end withafdx; processor Linux_x86_2 extends Linux, x86 -end Linux_x86_2;
53 Q7: Benefits eliminate copy/paste of usable logic blocks (properties, features, features properties) enable reusability of component type declarations make Instance_Of operator usable
54 Q7: Issues (1) abstract A features f : feature; properties PS::Prop => 1; end A; abstract BA features f : in data port; properties PS::Prop => 2; end BA; abstract CA features f : out event port; properties PS::Prop => 3; end CA; abstract BA_CA extends BA, CA -end BA_CA; Kind of feature 'f'? Value of property 'PS::Prop'?
55 Q7: Issues (1) Possible Solution abstract A features f : feature; properties PS::Prop => 1; end A; abstract A features f : out event port; properties PS::Prop => 3; end A; abstract A features f : in data port; properties PS::Prop => 2; end A; PS::Prop = 3 (inherit from CA, last reference in 'extends') abstract BA_CA extends BA, CA -end BA_CA; Feature 'f' may/must be refined in 'BA_CA'. Prohibit inheritance if refinement isn't possible.
56 Q7: Issues (2) abstract A modes m1 : initial mode; end A; abstract C modes m3 : initial mode; end C; abstract B modes m2 : initial mode; end B; abstract ABC extends A, B, C -end ABC; Set of modes?
57 Q7: Issues (2) Possible Solution abstract A modes m1 : initial mode; end A; abstract C modes m3 : initial mode; end C; abstract B modes m2 : initial mode; end B; abstract ABC extends A, B, C -end ABC; Is modes declarations actually need in component type declaration? Modes describes internal structure of component. But component type is used for define external intefaces of component (see AADL_4.3 (1)).
58 Thank you!
AADL v2.1 errata AADL meeting Sept 2014
AADL v2.1 errata AADL meeting Sept 2014 Software Engineering Institute Carnegie Mellon University Pittsburgh, PA 15213 V2.1 Errata Additional applies to allowances Inconsistency in reference/applies to
More informationPresentation of the AADL: Architecture Analysis and Design Language
Presentation of the AADL: Architecture Analysis and Design Language Outline 1. AADL a quick overview 2. AADL key modeling constructs 1. AADL components 2. Properties 3. Component connection 3. AADL: tool
More informationPresentation of the AADL: Architecture Analysis and Design Language
Presentation of the AADL: Architecture Analysis and Design Language Outline 1. AADL a quick overview 2. AADL key modeling constructs 1. AADL components 2. Properties 3. Component connection 3. AADL: tool
More informationArchitecture Analysis and Design Language (AADL) Part 3
Architecture Analysis and Design Language (AADL) Part 3 1 Component and Implementation: Flows Flow is a path through an architecture (components and connections). Flow specification specifies how data
More informationSimulation of AADL models with software-in-the-loop execution
Simulation of AADL models with software-in-the-loop execution Denis Buzdalov Institute for System Programming of Russian Academy of Sciences Moscow, Russia buzdalov@ispras.ru ABSTRACT In this paper we
More informationModelling Avionics Architectures
Modelling Avionics Architectures Julien Delange Hollywood, Florida 24/01/2011 ESA UNCLASSIFIED For Official Use Rationale 1. System architectures don t differ significantly a. One OBC that communicate
More informationA discrete-event simulator for early validation of avionics systems
A discrete-event simulator for early validation of avionics systems Denis Buzdalov and Alexey Khoroshilov {buzdalov,khoroshilov}@ispras.ru Institute for System Programming of the Russian Academy of Sciences
More informationModelling of PnP Weapon Systems with AADL Protocol Behaviour
Modelling of PnP Weapon Systems with AADL Protocol Behaviour A. Windisch and H. Schlatt EADS, Systems Engineering 81663 Munich, Germany Contents Introduction Notational Issues and Modelling Approach The
More informationAADL Graphical Editor Design
AADL Graphical Editor Design Peter Feiler Software Engineering Institute phf@sei.cmu.edu Introduction An AADL specification is a set of component type and implementation declarations. They are organized
More informationAEROSPACE STANDARD. SAE Architecture Analysis and Design Language (AADL) Annex Volume 3: Annex E: Error Model Annex RATIONALE
AEROSPACE STANDARD Issued AS5506/3 2011-04 Draft SAE Architecture Analysis and Design Language (AADL) Annex Volume 3: Annex E: Error Model Annex RATIONALE The purpose of the Error Model Annex in this document
More informationQuery Language for AADLv2, Jérôme Hugues, ISAE Serban Gheorghe, Edgewater
Query Language for AADLv2, Jérôme Hugues, ISAE Serban Gheorghe, Edgewater Outline 1. Discussion from previous meetings 2. Defining elements for a DSL, inputs from the meta model 3. Defining elements for
More informationSchedulability Analysis of AADL Models
Schedulability Analysis of AADL Models Oleg Sokolsky Insup Lee University of Pennsylvania Duncan Clarke Fremont Associates Overview AADL modeling language Why is it useful and what it has Formal schedulability
More informationSystem Configurations
s Software Engineering Institute Carnegie Mellon University Pittsburgh, PA 15213 Peter Feiler Jan 2007 Two Dimensions of System Families Configuration via properties Component interfaces, variants, and
More informationError Model Meta Model and Plug-in
Error Model Meta Model and Plug-in Peter Feiler phf@sei.cmu.edu May 28, 2007 The error model plug-in implements the Error Model Annex language extension. It provides all the front-end components, i.e.,
More informationUsing AADL in Model Driven Development. Katholieke Universiteit Leuven Belgium
Using AADL in Model Driven Development Didier Delanote, Stefan Van Baelen, Wouter Joosen and Yolande Berbers Katholieke Universiteit Leuven Belgium Contents Introduction Overview of AADL Usability assessment
More informationFOURTH GRADE MATH TRANSITION GLEs. Math, Grade 4, and Curriculum and Assessment Summary
FOURTH GRADE MATH TRANSITION GLEs Grade 4 Mathematics GLEs and CCSS to be taught in and GLE content to be taught and tested in Grade 4 Math in and GLE # Grade-Level Expectation Text Aligned M.4.1 Read
More informationAADL Application modeling with MARTE Madeleine Faugère, Timothée Bourdeau THALES Research and Technology Robert de Simone INRIA Sébastien Gérard CEA
AADL Application modeling with MARTE Madeleine Faugère, Timothée Bourdeau THALES Research and Technology Robert de Simone INRIA Sébastien Gérard CEA List AADL in a nutshell Architecture Analysis and Design
More informationAADL Webinar. Carnegie Mellon University Notices Architecture Analysis with AADL The Speed Regulation Case-Study... 4
AADL Webinar Table of Contents Carnegie Mellon University Notices... 4 Architecture Analysis with AADL The... 4 What this talk is about?... 7 Agenda... 8 Agenda... 9 Polling Question 1... 10 Safety-Critical
More informationIndiana Academic Standards Content Connectors Priority
Indiana Academic Standards Content Connectors Priority Number Sense 4.NS.1: Read and write whole numbers up to 1,000,000. Use words, models, standard form and expanded form to represent and show equivalent
More informationScope. Chapter Ten Modern Programming Languages 1
Scope Chapter Ten Modern Programming Languages 1 Reusing Names Scope is trivial if you have a unique name for everything: fun square a = a * a; fun double b = b + b; But in modern languages, we often use
More informationComputer Architecture
Instruction Cycle Computer Architecture Program Execution and Instruction Sets INFO 2603 Platform Technologies The basic function performed by a computer is the execution of a program, which is a set of
More informationWhat are the characteristics of Object Oriented programming language?
What are the various elements of OOP? Following are the various elements of OOP:- Class:- A class is a collection of data and the various operations that can be performed on that data. Object- This is
More informationHow to Use the BLESS Plug-in to OSATE
How to Use the BLESS Plug-in to OSATE Brian R Larson Kansas State University brl@k-state.edu September 29, 2014 Architecture-Centric Virtual Integration Workshop MoDELS Conference Universitat Politecnica
More informationTypes, Expressions, and States
8/27: solved Types, Expressions, and States CS 536: Science of Programming, Fall 2018 A. Why? Expressions represent values in programming languages, relative to a state. Types describe common properties
More informationAADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment
AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment Julien Delange Peter Feiler David P. Gluch John Hudak October 2014 TECHNICAL REPORT CMU/SEI-2014-TR-020 Software Solutions Division
More informationAn Eiffel Library for Units of Measurement
An Eiffel Library for Units of Measurement Issues and approaches to the support of numerical values with physical dimensions Semester project Markus Keller mailto:markus_keller@student.ethz.ch 1 / 16 Schedule
More informationInstitut Supérieur de l Aéronautique et de l Espace Constraints Annex Implementation Approach
Institut Supérieur de l Aéronautique et de l Espace Constraints Annex Implementation Approach Jérôme Hugues, ISAE/DMIA jerome.hugues@isae.fr Rethinking what we have already > Idea not new, tested in various
More informationOA: Operations and Algebraic Thinking
OA: Operations and Algebraic Thinking I can write and explain the meaning of a multiplication equation. 4.OA.1 I can create and solve multiplication equations that compare two sets. 4.OA.1 I can represent
More informationLab-STICC : Dominique BLOUIN Skander Turki Eric SENN Saâdia Dhouib 11/06/2009
Lab-STICC : Power Consumption Modelling with AADL Dominique BLOUIN Skander Turki Eric SENN Saâdia Dhouib 11/06/2009 Outline Context Review of power estimation methodologies and tools Functional Level Power
More informationLecture 7: Type Systems and Symbol Tables. CS 540 George Mason University
Lecture 7: Type Systems and Symbol Tables CS 540 George Mason University Static Analysis Compilers examine code to find semantic problems. Easy: undeclared variables, tag matching Difficult: preventing
More informationSAE AADL Error Model Annex: Discussion Items
SAE AADL Error Model Annex: Discussion Items Software Engineering Institute Carnegie Mellon University Pittsburgh, PA 15213 Peter Feiler phf@sei.cmu.edu April 2012 Sponsored by the U.S. Department of Defense
More informationObject-Oriented Design
Object-Oriented Design Lecturer: Raman Ramsin Lecture 10: Analysis Packages 1 Analysis Workflow: Packages The analysis workflow consists of the following activities: Architectural analysis Analyze a use
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 informationTigerPrints. Clemson University. Hung Vo Clemson University,
Clemson University TigerPrints All Theses Theses 8-2012 SOFTWARE TESTABILITY MEASURE FOR SAE ARCHITECTURE ANALYSIS AND DESIGN LANGUAGE (AADL)SOFTWARE TESTABILITY MEASURE FOR SAE ARCHITECTURE ANALYSIS AND
More informationEE 8217 *Reconfigurable Computing Systems Engineering* Sample of Final Examination
1 Student name: Date: June 26, 2008 General requirements for the exam: 1. This is CLOSED BOOK examination; 2. No questions allowed within the examination period; 3. If something is not clear in question
More informationCIS 890: High-Assurance Systems
CIS 890: High-Assurance Systems Hazard Analysis Lecture: Error Modeling Annex Version 2 - Introduction Copyright 2016, John Hatcliff, Hariharan Thiagarajan. The syllabus and all lectures for this course
More informationDiocese of Erie Mathematics Curriculum Fourth Grade August 2012
Operations and Algebraic Thinking 4.OA Use the four operations with whole numbers to solve problems 1 1. Interpret a multiplication equation as a comparison. Interpret 35=5x7 as a statement that 35 is
More informationSPIN Operating System
SPIN Operating System Motivation: general purpose, UNIX-based operating systems can perform poorly when the applications have resource usage patterns poorly handled by kernel code Why? Current crop of
More informationAn Implementation of the Behavior Annex in the AADL-toolset Osate2
2011 16th IEEE International Conference on Engineering of Complex Computer Systems An Implementation of the Behavior Annex in the AADL-toolset Osate2 Gilles Lasnier, Laurent Pautet Inst. TELECOM - TELECOM
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 informationMLSD Grade 4 Math
Grade 4 Math Required fluency Math equence 4 OA 5 4 NBT 2 4 NBT 4 p 4NBT 3 4 NBT 1 4 NBT 1 MLD Grade 4 Math 2014-2015 Add/ubtract within 1,000,000 (Fluent in the standards means fast and accurate. When
More informationLanguage Fundamentals Summary
Language Fundamentals Summary Claudia Niederée, Joachim W. Schmidt, Michael Skusa Software Systems Institute Object-oriented Analysis and Design 1999/2000 c.niederee@tu-harburg.de http://www.sts.tu-harburg.de
More informationEnableBasic. The Enable Basic language. Modified by Admin on Sep 13, Parent page: Scripting Languages
EnableBasic Old Content - visit altium.com/documentation Modified by Admin on Sep 13, 2017 Parent page: Scripting Languages This Enable Basic Reference provides an overview of the structure of scripts
More information516. XSLT. Prerequisites. Version 1.2
516. XSLT Version 1.2 This comprehensive four-day course develops in-depth knowledge and skills in transforming XML documents using extensible Stylesheet Language Transformations, or XSLT. Students work
More informationInvolved subjects in this presentation Security and safety in real-time embedded systems Architectural description, AADL Partitioned architectures
Introduction Problem: security and reliability Purpose: design and implementation of safe/secure systems Help system designers to describe their requirements Ensure safety and security policies enforcement
More informationFlow Latency Analysis with the Architecture Analysis and Design Language (AADL)
Flow Latency Analysis with the Architecture Analysis and Design Language (AADL) Peter Feiler Jőrgen Hansson December 2007 TECHNICAL NOTE CMU/SEI-2007-TN-010 Performance-Critical Systems Initiative Unlimited
More informationLet!s go back to a course goal... Let!s go back to a course goal... Question? Lecture 22 Introduction to Memory Hierarchies
1 Lecture 22 Introduction to Memory Hierarchies Let!s go back to a course goal... At the end of the semester, you should be able to......describe the fundamental components required in a single core of
More informationVB.NET. Exercise 1: Creating Your First Application in Visual Basic.NET
VB.NET Module 1: Getting Started This module introduces Visual Basic.NET and explains how it fits into the.net platform. It explains how to use the programming tools in Microsoft Visual Studio.NET and
More informationFrom MDD back to basic: Building DRE systems
From MDD back to basic: Building DRE systems, ENST MDx in software engineering Models are everywhere in engineering, and now in software engineering MD[A, D, E] aims at easing the construction of systems
More informationNBT 4 Fluently add and subtract multi-digit whole number using the standard algorithm.
Lincoln lementary School Curriculum Prioritization and Mapping Timeline Topic Priority Standard Learning Targets August (15 instructional Days) August August August Numbers and Base Ten Concepts Numbers
More informationGTPS Curriculum 4 th Grade Math. Topic: Topic 1 - Generalize Place Value Understanding
Topic: Topic 1 - Generalize Place Value Understanding Generalize place value understanding for multi-digit numbers. 4.NBT.1. Recognize that in a multi-digit whole number, a digit in one place represents
More informationModel-Based Engineering with AADL: An Overview
Model-Based Engineering with AADL: An Overview Peter Feiler phf@sei.cmu.edu Outline AADL: The Language What s New in AADL V2 Modeling with AADL 2 AADL: Components and Connections Properties standard user
More informationCopyright 2018 Adventium Labs. 1
AADL ANNEX FOR THE FACE TECHNICAL STANDARD, EDITION 3.0 DISTRIBUTION A. Approved for public release: distribution unlimited. This material is based upon work supported by U.S. Army Research Development
More informationMODELING OF MULTIPROCESSOR HARDWARE PLATFORMS FOR SCHEDULING ANALYSIS
1 MODELING OF MULTIPROCESSOR HARDWARE PLATFORMS FOR SCHEDULING ANALYSIS Stéphane Rubini, Christian Fotsing, Frank Singhoff, Hai Nam Tran Lab-STICC, University of Western Britany (UBO) Contact: Stephane.Rubini@univ-brest.fr
More informationFOURTH GRADE Mathematics Standards for the Archdiocese of Detroit
FOURTH GRADE Mathematics Standards for the Archdiocese of Detroit *Provide 3 dates for each standard Initial Date(s) Operations and Algebraic Thinking. Use the four operations with whole numbers to solve
More informationSo far, system calls have had easy syntax. Integer, character string, and structure arguments.
Pointers Page 1 So far, system calls have had easy syntax Wednesday, September 30, 2015 10:45 AM Integer, character string, and structure arguments. But this is not always true. Today, we begin to explore
More information1B1a Programming I Getting Started
1B1a Programming I Getting Started Agenda Definitions. What is programming? What is Java? Writing your first program. Classes and Objects. 1 2 Reading You should be reading chapters 1 & 2 of the text book.
More informationSAE AADL Error Model Annex: An Overview
SAE AADL Error Model Annex: An Overview Software Engineering Institute Carnegie Mellon University Pittsburgh, PA 15213 Peter Feiler phf@sei.cmu.edu Sponsored by the U.S. Department of Defense 2011 by Carnegie
More informationPlatte County School District #2 Mathematics Standards 4th Grade School Year
Platte County School District #2 Mathematics Standards 4th Grade 2017-2018 School Year Standard 4.OA.A.1 Interpret a multiplication equation as a comparison, e.g., interpret 35 = 5 7 as a statement that
More informationSession 4b: Review of Program Quality
Session 4b: Review of Program Quality What makes one program "better" than another? COMP 170 -- Fall, 2013 Mr. Weisert What is a good program? Suppose we give the same assignment to two programmers (or
More informationExperimental Extensions to RSVP Remote Client and One-Pass Signalling
1 Experimental Extensions to RSVP Remote Client and One-Pass Signalling Industrial Process and System Communications, Darmstadt University of Technology Merckstr. 25 D-64283 Darmstadt Germany Martin.Karsten@KOM.tu-darmstadt.de
More informationM Introduction to Visual Basic.NET Programming with Microsoft.NET 5 Day Course
Module 1: Getting Started This module introduces Visual Basic.NET and explains how it fits into the.net platform. It explains how to use the programming tools in Microsoft Visual Studio.NET and provides
More informationAn implementation of the AADL-BA Behavior Annex front-end: an OSATE2 Eclipse plug-in
An implementation of the AADL-BA Behavior Annex front-end: an OSATE2 Eclipse plug-in Etienne Borde Gilles Lasnier Sébastien Gardoll Laurent Pautet Jérôme Hugues Fabien Cadoret borde@telecom-paristech.fr
More informationAADL to build DRE systems, experiments with Ocarina. Jérôme Hugues, ENST
AADL to build DRE systems, experiments with Ocarina Jérôme Hugues, ENST ENST Research topic: Methods for DRE Building a DRE is still a complex issue: RT-CORBA, DDS are only partial solutions Still difficult
More informationQUESTIONS RELATED TO UNIT I, II And III
QUESTIONS RELATED TO UNIT I, II And III UNIT I 1. Define the role of input buffer in lexical analysis 2. Write regular expression to generate identifiers give examples. 3. Define the elements of production.
More informationTinyOS. Lecture Overview. UC Berkeley Family of Motes. Mica2 and Mica2Dot. MTS300CA Sensor Board. Programming Board (MIB510) 1.
Lecture Overview TinyOS Computer Network Programming Wenyuan Xu 1 2 UC Berkeley Family of Motes Mica2 and Mica2Dot ATmega128 CPU Self-programming 128KB Instruction EEPROM 4KB Data EEPROM Chipcon CC1000
More informationCommon Core Standards 4 th Grade - Mathematics
Common Core Standards 4 th Grade - Mathematics Operations and Algebraic Thinking Use the four operations with whole numbers to solve problems. 1. Interpret a multiplication equation as a comparison, e.g.,
More informationThe Ocarina Tool Suite. Thomas Vergnaud
The Ocarina Tool Suite Motivation 2 ENST is developing a middleware architecture: PolyORB generic, configurable, interoperable enables middleware verification create a tool chain
More informationApplication-Oriented System Design
Application-Oriented System Design LISHA/UFSC Prof. Dr. Antônio Augusto Fröhlich March 2004 March 2004 http://www.lisha.ufsc.br 29 Application-Oriented Operating Systems "An application-oriented operating
More informationAEROSPACE STANDARD. SAE Architecture Analysis and Design Language (AADL) Annex Volume 3: Annex E: Error Model Annex RATIONALE
AEROSPACE STANDARD Draft AS5506/3 2013-01-23 Draft SAE Architecture Analysis and Design Language (AADL) Annex Volume 3: Annex E: Error Model Annex RATIONALE The purpose of the Error Model Annex in this
More informationVirtual Memory #2 Feb. 21, 2018
15-410...The mysterious TLB... Virtual Memory #2 Feb. 21, 2018 Dave Eckhardt Brian Railing 1 L16_VM2 Last Time Mapping problem: logical vs. physical addresses Contiguous memory mapping (base, limit) Swapping
More informationMono's progress and roadmap. Paolo Molaro
Mono's progress and roadmap Paolo Molaro lupus@ximian.com What is Mono? An Open Source implementation of.net Cross platform: Unix family: Linux, MacOS X, Solaris, HP-UX. Windows family: 2000, XP. Embedded
More informationa. It will output It s NOT Rover b. Class Main should be changed to the following (bold characters show the changes)
May 2015 Computing Advanced Paper 1 Question 1 a. It will output It s NOT Rover b. Class Main should be changed to the following (bold characters show the changes) public class Main public static void
More information10. Functions II. Pre- and Postconditions. Postconditions. Preconditions. // PRE: e >= 0 b!= 0.0. // POST: return value is b^e
Pre- and Postconditions 10. Functions II Pre- and Postconditions Stepwise Refinement, Scope, Libraries and Standard Functions characterize (as complete as possible) what a function does document the function
More informationChapter 13-1 Notes Page 1
Chapter 13-1 Notes Page 1 Constrained Optimization Constraints We will now consider how to maximize Sales Revenue & Contribution Margin; or minimize costs when dealing with limited resources (constraints).
More informationExplicating Critical Assumptions in Software Architectures Using AADL
Explicating Critical Assumptions in Software Architectures Using AADL HAMED ORDIBEHESHT Supervisor: Jörgen Hansson Master of Software Engineering and Management Thesis Report No.. ISSN: 1651-476 University
More informationIP: Addressing, ARP, Routing
IP: Addressing, ARP, Routing Network Protocols and Standards Autumn 2004-2005 Oct 21, 2004 CS573: Network Protocols and Standards 1 IPv4 IP Datagram Format IPv4 Addressing ARP and RARP IP Routing Basics
More informationCOMP322 - Introduction to C++ Lecture 02 - Basics of C++
COMP322 - Introduction to C++ Lecture 02 - Basics of C++ School of Computer Science 16 January 2012 C++ basics - Arithmetic operators Where possible, C++ will automatically convert among the basic types.
More informationOptimising for the p690 memory system
Optimising for the p690 memory Introduction As with all performance optimisation it is important to understand what is limiting the performance of a code. The Power4 is a very powerful micro-processor
More informationRAMSES. Refinement of AADL Models for the Synthesis of Embedded Systems. Etienne Borde
Refinement of AADL Models for the Synthesis of Embedded Systems Etienne Borde etienne.borde@telecom-paristech.fr AADL: Architecture Analysis and Design Language We use AADL to model SCES architectures:
More informationI can use number bonds and matching subtraction facts up to 20.
Year 1, Maths end of year expectations I can count to and past 100. Forwards and backwards starting from any number. I can count, read and write numbers to 100 in numerals and count in jumps of 2, 5 and
More informationAn Extensible Open Source AADL Tool Environment (OSATE)
An Extensible Open Source AADL Tool Environment (OSATE) Release 0.3.0 Oct 5, 2004 The SEI AADL Team Software Engineering Institute tools@aadl.info 1 Table of Content An Extensible Open Source AADL Tool
More informationConcern-based Composition and Reuse of Distributed Systems
Concern-based Composition and Reuse of Distributed Systems Andrey Nechypurenko andrey.nechypurenko@siem ens.com Siemens AG, Germany Douglas Schmidt, Tao Lu, Gan Deng, Emre Turkay, Aniruddha Gokhale Vanderbilt
More informationGrade 4 Mathematics Scope and Sequence
Grade 4 Mathematics Scope and Sequence Common Core I Can Statements Curriculum Materials & Assessment Standards (Knowledge & Skills) Resources /Comments Place Value, Rounding, and Algorithms for Addition
More informationCSE341, Spring 2013, Final Examination June 13, 2013
CSE341, Spring 2013, Final Examination June 13, 2013 Please do not turn the page until 8:30. Rules: The exam is closed-book, closed-note, except for both sides of one 8.5x11in piece of paper. Please stop
More informationGrade K 8 Standards Grade 4
Grade 4 In grade 4, instructional time should focus on three critical areas: (1) developing understanding and fluency with multi-digit multiplication, and developing understanding of dividing to find quotients
More informationFourth Grade Mathematics Operations & Algebraic Thinking Numbers & Operations in Base Ten
Fourth Grade Mathematics Operations & Algebraic Thinking Numbers & Operations in Base Ten UNIT 1 TIMEFRAME: 7 WEEKS STANDARDS LEARNING TARGETS VOCABULARY RESOURCES I can solve one step word problems with
More informationPlatform modeling and allocation
Platform modeling and allocation Systems Engineering BSc Course Budapest University of Technology and Economics Department of Measurement and Information Systems Traceability Platform-based systems design
More informationCS 134: Operating Systems
CS 134: Operating Systems Locks and Low-Level Synchronization CS 134: Operating Systems Locks and Low-Level Synchronization 1 / 25 2 / 25 Overview Overview Overview Low-Level Synchronization Non-Blocking
More informationDescribing the architecture: Creating and Using Architectural Description Languages (ADLs): What are the attributes and R-forms?
Describing the architecture: Creating and Using Architectural Description Languages (ADLs): What are the attributes and R-forms? CIS 8690 Enterprise Architectures Duane Truex, 2013 Cognitive Map of 8090
More informationReason A & Q. Make sense. Repeated Reasoning. Construct & Critique Model Tools Precision Structure
In Grade 4, instructional time should focus on three critical areas: (1) developing understanding and fluency with multi-digit multiplication, and developing understanding of dividing to find quotients
More informationCommon Core Standards for Mathematics. Grade 4. Operations and Algebraic Thinking Date Taught
Operations and Algebraic Thinking Use the four operations with whole numbers to solve problems. 4.OA.1. Interpret a multiplication equation as a comparison, e.g., interpret 35 = 5 x 7 as a statement that
More informationTranslating AADL into BIP Application to the Verification of Real time Systems
Toulouse, France (in conjunction with MODELS 2008) 1st International Workshop on Model Based Architecting and Construction of Embedded Systems (ACESMB 2008) Translating AADL into BIP Application to the
More informationThe Effnet Header & Payload Compression Solution for Industrial Communication
The Effnet Header & Compression Solution for Industrial Communication Many industries such as oil and gas, mining, utility, public safety and military, transport and government use low bandwidth (narrowband)
More informationUsing the AADL for mission critical software development paper presented at the ERTS conference, Toulouse, 21 January 2004
Using the AADL for mission critical software development paper presented at the ERTS conference, Toulouse, 21 January 2004 Pierre Dissaux, pierre.dissaux@tni-world.com TNI-Europe Limited Mountbatten Court,
More informationWCSD 4th Math Pacing Guide 9 weeks MCCRS Skills
WCSD 4th Math Pacing Guide 1 4.OA.1 Interpret a multiplication equation as a comparison, e.g., interpret 35 = 5 7 as a statement that 35 is 5 times as many as 7 and 7 times as many as 5. Represent verbal
More information6.170 Recitation #5: Subtypes and Inheritance
6.170 Recitation #5: Subtypes and Inheritance What is true subtyping? True Subtyping is not exactly the same as Inheritance. As seen in an earlier lecture, class A is a true subtype of class B if and only
More informationSILVER OAK COLLEGE OF ENGINEERING & TECHNOLOGY ADITYA SILVER OAK INSTITUTE OF TECHNOLOGY
BE - SEMESTER V MID SEMESTER-I EXAMINATION WINTER 2018 SUBJECT: MICROPROCESS & INTERFACING (2150707) (CE) DATE: 10-08-2018 TIME: 02:00pm to 03:30 pm TOTAL MARKS: 40 Q.1 (a) Write an ALP to add two 16 bit
More informationSamsung USB Flash Drive : DUO Plus Lineup
Samsung USB Flash Drive : DUO Plus Lineup 2018 Data Sheet 1 DISCLAIMER SAMSUNG ELECTRONICS RESERVES THE RIGHT TO CHANGE PRODUCTS, INFORMATION AND SPECIFICATIONS WITHOUT NOTICE. Products and specifications
More informationCommon Core Math Curriculum Map
Module 1 - Math Test: 8/2/2013 Draw and identify lines and angles, and classify shapes by properties of their lines and angles. 4.G.1 4.G.2 4.G.3 Draw points, lines, line segments, rays, angles, (right,
More information