Behavior Annex Updates Standard, plugin, and usage inside RAMSES. Etienne Borde
|
|
- Loren Little
- 6 years ago
- Views:
Transcription
1 Behavior Annex Updates Standard, plugin, and usage inside RAMSES Etienne Borde
2 Behaviour Annex Errata The aadl subcommittee wiki has been updated with the new errata discussed in Toulouse in January % of the 12 errata have been closed: an accepted solution was proposed for each of them. A revised version of the Behavior Annex, in which these solutions are implemented, has been uploaded on the aadl subcommittee wiki. The wiki traces the issues, and rationales for modifications of the standard; thus it is possible to retrieve the reasons for these modifications. nnex page 1 11/28/2012
3 News about the BA plugin for OSATE News about the Behavior Annex plugin developed at Telecom ParisTech: Update site is available, seehttp://penelope.enst.fr/aadl/wiki for more information Syntax coloring and hyperlinking were added in the BA clauses (explanations hereafter) Continuous integration of our plugins with OSATE, using RAMSES to launch the OSATE and the BA plugin with a command line interfacehttps://circe.enst.fr/hudson/ page 2 11/28/2012
4 OSATE - Syntax highlighting and hyperlinking How to implement syntax coloring and hyperlinking in an Annex plugin that is not based on Xtext? OSATE provides 2 new extension points: <ext ensi on poi nt =" or g. osat e. annexsuppor t. hi ghl i ght er " > <ext ensi on poi nt =" or g. osat e. annexsuppor t. t ext posi t i onr esol ver " > page 3 11/28/2012
5 OSATE - Syntax highlighting <ext ensi on poi nt =" or g. osat e. annexsuppor t. hi ghl i ght er " > Requires imlementing interface AnnexHighlighter, defining two methods: 1. publ i c voi d hi ghl i ght AnnexLi br ar y( AnnexLi br ar y l i br ar y, AnnexHi ghl i ght er Posi t i onaccept or accept or ) and 2. publ i c voi d hi ghl i ght AnnexSubcl ause( AnnexSubcl ause subcl ause, AnnexHi ghl i ght er Posi t i onaccept or accept or ). Basically, the idea is to use the following method, defined in AnnexHi ghl i ght er Posi t i onaccept or : publ i c voi d addposi t i on( i nt offset, i nt l engt h, St r i ng i d) When calling addposition, offset is the position (wrt the beginning of the file) of the first character to highlight, length is the number of characters to highlight, and id is a predefined type of highlighting (comment, number, keyword, etc ). See AnnexHighlighterPositionAceptor for the complete list of valid Id page 4 11/28/2012
6 OSATE BA Plugin - Syntax highlighting See plugin.xml file to have the configuration of extension point: <ext ensi on poi nt ="or g. osat e. annexsuppor t. hi ghl i ght er "> In the BA, we only have Annex Subclauses thus we implement: publ i c voi d hi ghl i ght AnnexSubcl ause( AnnexSubcl ause subcl ause, AnnexHi ghl i ght er Posi t i onaccept or accept or ). Our implementation is straight forward: when parsing the BA, the position of strings to highlight (offset, length, and id) are stored in a list, attribute of the BehaviorAnnex class. When our implementation of highlightannexsubclause is called, subclause is of class BehaviorAnnex. Our code go through this list of elements to highlight, retreive their offset, lenght and id, call: accept or. addposi t i on( offset, l engt h, i d) ; Where offset, length and id have been retreived from the list of elements to highlight. page 5 11/28/2012
7 OSATE HyperLinking <ext ensi on poi nt =" or g. osat e. annexsuppor t. t ext posi t i onr esol ver " > Requires imlementing interface AnnexTextPositionResolver, defining two methods: 1. publ i c voi d Text Posi t i oni nf o r esol veel ement At ( EObj ect annexroot, i nt of f set ) and 2. publ i c voi d Text Posi t i oni nf o r esol vecr ossref er encedel ement At ( EObj ect annexroot, i nt offset) Offset is the position of the mouse, in the text, when one moves the mouse and pushes the «ctrl» key at the same time. The constructor of TextPositionInfo is: Text Posi t i oni nf o( EObj ect model Obj ect, i nt of f set, i nt l engt h) Basically, the idea is to create a TextPositionInfo, modelobject being the object the hyperlinking should «jump to» when one clicks on the hyperlink (resulting from «ctrl+click»); offset and length being the position wher the hyperlink is created as a result of a «ctrl+mouse over the text». page 6 11/28/2012
8 OSATE BA Plugin HyperLinking See plugin.xml file to have the configuration of extension point: <ext ensi on poi nt =" or g. osat e. annexsuppor t. t ext posi t i onr esol ver»> Let s consider the implementation of: publ i c voi d Text Posi t i oni nf o r esol veel ement At ( EObj ect annexroot, i nt offset1) Our implementation is not straight forward but we try to describe it here: when parsing the BA, the Position (offset/length) of each BA element is stored in an attribute of Element (Element is a class from the AADL metamodel) when parsing the BA, a map of <Position, Element> stores the destination (Element) of an hypelink put at a significant Position in the text (offset1 being between [offset, offset+length], position of an Element that references another one). when resolveelementat is called, we create a TextPositionInfo: Text Posi t i oni nf o ( EObj ect model Obj ect, i nt of f set 2, i nt l engt h) where modelobject corresponds to the Element from the map, and offset2/length is retreived from the position of the Element at offset1. page 7 11/28/2012
9 Current limitations We need to improve this implementation, since: Syntax highlighting is turned off when the BA subclause is not syntactically correct (parsing fails); Hyperlinking is turned off when BA subclause is not syntactically correct or when naming resolution of a BA elements fails page 8 11/28/2012
10 Demo page 9 11/28/2012
11 subpr ogr am Next _Val ue pr ot ot ypes out put _t ype: dat a; f eat ur es first: r equi r es dat a access I nt eger _16; last: r equi r es dat a access I nt eger _16; buf f er : r equi r es dat a access Ar r aydat atype; out put : r equi r es dat a access out put _t ype; annex behavi or _speci f i cat i on { * * states s: initial f i nal st at e; t r ansi t i ons t : s - []- > s { out put : = buf f er [ f i r st ] ; if( f i r st <l ast ) first := first+1 end if };**}; end Next _Val ue; Behavior Annex in RAMSES code generation In a generic AADL runtime, we define: Is interpreted by the BA plugin as an array of one Dimension, of infinite size. Should be standardized in Data_Model? dat a Ar r aydat atype pr oper t i es Dat a_model : : Dat a_repr esent at i on => Ar r ay; Dat a_model : : Base_Type => ( cl assi f i er ( I nt eger _16) ) ; Dat a_model : : Di mensi on =>( 0) ; end Ar r aydat atype; page 10 11/28/2012
12 Instantiation in a particular context When instantiated in a particular context, we generate: subpr ogr am Next _Val ue_p_t3_p_i n ext ends Next _Val ue ( out put _t ype => dat a Int) f eat ur es buf f er : r ef i ned to r equi r es dat a access Buf f er Ar r aytype_t3_p_i n; end Next _Val ue_p_t3_p_i n; dat a Buf f er Ar r aytype_t3_p_i n pr oper t i es Dat a_model : : Di mensi on => ( 56) ; end Buf f er Ar r aytype_t3_p_i n; page 11 11/28/2012
13 Continuous Integration with OSATE Continuous integration on Hudson and Maven: Download and build OSATE sources every night Download and build the BA plugin sources every night Execute some Junit tests (launching osate+ba as command line) Let s have a look at the website Could be interesting to plug with the validation framework of Alexey Khoroshilov. What would be the best way to proceed? page 12 11/28/2012
14 Conclusion Identified errata have all been implemented in the revised version of the Behavior Annex. They need to be checked and updated. The Behavior Annex Plugin has been significantly improved, and is used by two (declared) external partners (INRIA and Ellidiss). The Behavior Annex is being used for code generation in RAMSES, taking advantage of prototype and refinement capabilities of AADL (more to come for next meeting) page 13 11/28/2012
An 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 informationmapreduceclass.r carolinaalvesdelimasalge Fri Nov 18 15:42:
mapreduceclass.r carolinaalvesdelimasalge Fri Nov 18 15:42:46 2016 # cr eat e a li st of 10 i nt eger s i nt s
More informationAADL Tools & Technology. AADL committee 22 April Pierre Dissaux. Ellidiss. T e c h n o l o g i e s. w w w. e l l i d i s s.
AADL Tools & Technology AADL committee 22 April 2013 Pierre Dissaux Ellidiss T e c h n o l o g i e s w w w. e l l i d i s s. c o m Independent SW tool editor: Ellidiss Software w w w. e l l i d i s s.
More informationUML&AADL 11 An Implementation of the Behavior Annex in the AADL-toolset OSATE2
UML&AADL 11 An Implementation of the Behavior Annex in the AADL-toolset OSATE2 Jérôme Hugues Gilles Lasnier Laurent Pautet Lutz Wrage jerome.hugues@isae.fr gilles.lasnier@telecom-paristech.fr laurent.pautet@telecom-paristech.fr
More informationNRAO Proposal Tool (PST) Gustaaf van Moorsel NRAO Community Day 1/13/2012
NRAO Proposal Tool (PST) Gustaaf van Moorsel NRAO Community Day 1/13/2012 Creating an NRAO proposal Proposal Submission Tool (PST) EVLA, VLBA, GBT, but for ALMA, use ALMA OT This presentation: EVLA-centric
More informationAltersgruppe: Grade 2 Virginia - Mathematics Standards of Learning (2009): 1.12, 1.16, Virginia - Mathematics Standards of Learning (2016): 3.12.
1 U n t er r ich t splan Classify Polygons Based on Vertices, Ed ges and Angles Altersgruppe: Grade 2 Virginia - Mathematics Standards of Learning (2009): 1.12, 1.16, 2.16, 3.14, 4.12a, 4.12b Virginia
More informationTowards AADL to SystemC mapping for partitioned systems. Etienne Borde Laurent Pautet Marc Gatti
Towards AADL to SystemC mapping for partitioned systems Michael Lafaye Etienne Borde Laurent Pautet Marc Gatti Presentation of a First Mapping Prototype: AADL to SystemC for Avionics Partitioned Systems
More informationAADL Generative Implementation Annex
Institut Supérieur de l Aéronautique et de l Espace AADL Generative Implementation Annex Jérôme Hugues, ISAE Key question answered by the annex How to implement a subprogram, and bind it to an AADL model?
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 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 informationGeoAPI. International OpenSource Geospatial Research Symposium. July 9, Martin Desruisseaux. (Geomatys)
GeoAPI International OpenSource Geospatial Research Symposium July 9, 2009 Martin Desruisseaux (Geomatys) Situation before standards Data of different standards and quality Needs for: Incompatible data
More informationSAE Architecture Analysis and Design Language. AS-2C AADL Subcommittee Meeting Feb 3-6, 2014 Toulouse, France
SAE Architecture Analysis and Design Language AS-2C AADL Subcommittee Meeting Feb 3-6, 2014 Toulouse, France Upcoming SAE/AADL Meetings Next Meeting: September 2013 Montreal Spring 2014 Santa Barbara,
More informationMonday Jan 30. Tuesday Jan 31. AADL Standards Meeting Jan 30 Feb 1, 2012 Toulouse, France with ERTS Conference N7 INPT University de Toulouse
AADL Standards Meeting Jan 30 Feb 1, 2012 Toulouse, France with ERTS Conference N7 INPT University de Toulouse http://maps.google.com/maps?q=rue+charles+camichel,+31000+toulouse,+france&z=16 Teleconference
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 informationZarządzanie sieciami telekomunikacyjnymi
Zarządzanie sieciami telekomunikacyjnymi Digital subscriber line DSL or xdsl, is a family of technologies that provide digital data transmission over the wires of a local telephone network. DSL originally
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 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 informationSAE Architecture Analysis and Design Language. AS-2C AADL Subcommittee Meeting Sept 29-Oct 2, 2014 Valencia, Spain
SAE Architecture Analysis and Design Language AS-2C AADL Subcommittee Meeting Sept 29-Oct 2, 2014 Valencia, Spain Upcoming SAE/AADL Meetings Fall 2014 - Valencia, Workshop is the Monday, Sept 29 th, Meeting
More informationSelenium Testing Course Content
Selenium Testing Course Content Introduction What is automation testing? What is the use of automation testing? What we need to Automate? What is Selenium? Advantages of Selenium What is the difference
More informationSAE Architecture Analysis and Design Language. AS-2C ADL Subcommittee Meeting June 6-9, 2011 Paris, France
SAE Architecture Analysis and Design Language AS-2C ADL Subcommittee Meeting June 6-9, 2011 Paris, France Election of AS2 Chair Greg Newman elected Replaces Mike Pakucko Covers AS2C (AADL) AS2D (time triggered)
More informationIntroduction to AADL analysis and modeling with FACE Units of Conformance
Introduction to AADL analysis and modeling with FACE Units of Conformance AMRDEC Aviation Applied Technology Directorate Contract Number W911W6-17- D-0003 Delivery Order 3 This material is based upon work
More informationSAE Architecture Analysis and Design Language. AS-2C AADL Subcommittee Meeting Feb 2-5, 2015 San Diego, USA
SAE Architecture Analysis and Design Language AS-2C AADL Subcommittee Meeting Feb 2-5, 2015 San Diego, USA Upcoming SAE/AADL Meetings Fall 2014 - Valencia, Workshop is the Monday, Sept 29 th Winter 2015
More informationII contains Strings made up of letter s. have been removed from this WordList, with the
,.tsh,"'" Computer Science 1. The following class WordLi s t is designed to store and manipulate a list of words. The incomplete class declaration is shown below. You will be asked to implement two methods.
More informationGeoNURIS GeoSpatial Server Manual Cooperation & Communication International
GeoNURIS GeoSpatial Server Manual 2011-11-07 by Cooperation & Communication International Table of Contents Foreword Part I Document Introduction 0 5 1 Conventions... 5 Part II Introduction 7 1 What...
More informationLabel-based Defenses Against Side Channel Attacks in PaaS Cloud Infrastructure
Label-based Defenses Against Side Channel Attacks in PaaS Cloud Infrastructure Read Sprabery, Konstantin Evchenko, Abhilash Raj*, Shivana Wanjara*, Sibin Mohan, Rakesh Bobba*, Roy H. Campbell University
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 informationDigital Design. Chapter 9: Hardware Description Languages
Digital Design Chapter 9: Hardware Description Languages Slides to accompany the textbook Digital Design, with RTL Design, VHDL, and Verilog, 2nd Edition, by, John Wiley and Sons Publishers, 2010. http://www.ddvahid.com
More informationDifférents cas d application de l'analyse Statique avec Frama-C dans un contexte industriel
Différents cas d application de l'analyse Statique avec Frama-C dans un contexte industriel DAS Systèmes Embarqués Agenda Use Case 1 Integrating Runtime Error Detection in the process with Frama-C Use
More informationDominique Blouin Etienne Borde
Dominique Blouin Etienne Borde dominique.blouin@telecom-paristech.fr etienne.borde@telecom-paristech.fr Institut Mines-Télécom Content Domain specific Languages in a Nutshell Overview of Eclipse Modeling
More informationIntroduction to Programming Using Java (98-388)
Introduction to Programming Using Java (98-388) Understand Java fundamentals Describe the use of main in a Java application Signature of main, why it is static; how to consume an instance of your own class;
More informationHacking together a FreeBSD presentation streaming box For as little as possible 1 / 68
Hacking together a FreeBSD presentation streaming box For as little as possible Tom Jones tj@enoti.me 1 / 68 Hacking together a FreeBSD presentation streaming box Internet Engineer Foolish volunteer "I
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 informationJunit. Presentation & Tools (Eclipse, Maven, Mockito, Spring)
Junit Presentation & Tools (Eclipse, Maven, Mockito, Spring) arnaud.nauwynck@gmail.com This document: http://arnaud-nauwynck.github.io/lessons/coursiut-junit.pdf What is Junit? Wikipedia JUnit Junit birth
More information6.189 D ay 6. Name: R eadings. E x er cise 6. 1 { W ar mup: F inding B ugs
6.189 D ay 6 Name: T urn in your written answers to 6.1 and 6.2, stapled to your printed code les, tomorrow at the start of lecture. R eadings How T o T hink L ike A C omputer Scientist, chapter 10. E
More informationAn Information Model for High-Integrity Real Time Systems
An Information Model for High-Integrity Real Time Systems Alek Radjenovic, Richard Paige, Philippa Conmy, Malcolm Wallace, and John McDermid High-Integrity Systems Group, Department of Computer Science,
More informationARINC653 AADL Annex. Software Engineering Institute Carnegie Mellon University Pittsburgh, PA Julien Delange 07/08/2013
ARINC653 AADL Annex Software Engineering Institute Carnegie Mellon University Pittsburgh, PA 15213 Julien Delange 07/08/2013 Context, Rationale ARINC653 Avionics standard Standardized API (called APEX
More informationfjyswan Dr. Philip Cannata 1
fjyswan Dr. Philip Cannata 1 10 High Level Languages This Course Jython in Java Java (Object Oriented) Relation ASP RDF (Horn Clause Deduction, Semantic Web) Dr. Philip Cannata 2 Dr. Philip Cannata 3 fjyswan
More informationIntroducing the new Coqdoc
francois.ripault@epita.fr 18 février 2013 Introduction What is Coqdoc? Documentation tool for Coq Many possible use cases Why a new Coqdoc? Coqdoc is hard to maintain Lack of extensibility Better integration
More informationUpdates on the code generation annex. Jérôme Hugues, ISAE
Updates on the code generation annex Jérôme Hugues, ISAE Current status Traceability to the AADL requirement document (ARD 5296): Validate and Generate complex systems Has been mostly delayed by AADLv2
More informationE xpe ri e nc e manipulating triangles on a coordinate grid
1 U n t er r ich t splan Triangles on the Coord inate Grid Altersgruppe: Grade 6 Virginia - Mathematics Standards of Learning (2009): 6.11a, 6.11b Virginia - Mathematics Standards of Learning (2016): 6.8.a,
More information4. Fill in your information. Choose an address for your PBworks wiki. Be sure to choose For Education as your workspace type.
Creating Your First Wiki with PB Works 1. Go to the PB Wiki Site: http://www.pbworks.com 2. Click Sign Up 3. Select the Basic Plan which is the free plan and includes 2 GB of storage space. 4. Fill in
More informationTechnical Report Intelligent Transport Systems (ITS); Testing; Part 5: IPv6 over GeoNetworking validation report
TR 103 061-5 V1.1.1 (2012-11) Technical Report Intelligent Transport Systems (ITS); Testing; Part 5: IPv6 over GeoNetworking validation report 2 TR 103 061-5 V1.1.1 (2012-11) Reference DTR/ITS-0030018
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 information1 of AWES_PGT_Comp.Sc_Dec_2015 Computer Science
1 of 90 164 AWES_PGT_Comp.Sc_Dec_2015 In which of the following environment data is held in a temporary computer file? Batch processing Online batch processing Online processing None of the above The correct
More informationExperiment 3 3 Basic Input Output
Experiment 3 3 Basic Input Output Introduction The aim of this experiment is to introduce the use of input/output through the DOS interrupt. Objectives: INT Instruction Keyboard access using DOS function
More informationTechnical Specification C++ Extensions for Coroutines
TECHNICAL SPECIFICATION ISO/IEC TS 77 First edition 07- Technical Specification C++ Extensions for Coroutines Langages de programmation Extensions C++ pour les Coroutines Reference number ISO/IEC TS 77:07(E)
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 informationRobertaLab: Configuration, Architecture, Frameworks, Design
Roberta Seite 1 RobertaLab: Configuration, Architecture, Frameworks, Design reinhard.budde at iais.fraunhofer.de version 0.3 002014 12:57 Overview The system consists out of three distributed components,
More informationARINC653 and AADL. Julien Delange Laurent Pautet
ARINC653 and AADL Julien Delange delange@enst.fr Laurent Pautet pautet@enst.fr Background ARINC653, avionics standard Partitioning support Runtime services (communication, ) Partition 1 Partition 2 ARINC653
More informationSemester Review CSC 301
Semester Review CSC 301 Programming Language Classes There are many different programming language classes, but four classes or paradigms stand out: l l l l Imperative Languages l assignment and iteration
More informationIntroduction: Manual Testing :
: What is Automation Testing? Use of Automation. Where do we use. Tools that Do Automation. Web Applications vs Standalone Applications. What is selenium? How selenium works. Manual Testing : HTML: Detailed
More informationHow to Use the DICOM Uploader
How to Use the DICOM Uploader Please Note: The DICOM Uploader requires Java Runtime Enforcement (JRE) Version 6 Update 10 or higher. To ensure you have the correct version of Java installed on your computer
More informationMELDASMAGIC MONITOR OPERATION MANUAL BNP-B2192 (ENG)
MELDASMAGIC MONITOR OPERATION MANUAL BNP-B2192 (ENG) MELDASMAGIC is a registered trademark of Mitsubishi Electric Corporation. Microsoft and Windows are registered trademarks of Microsoft Corporation in
More informationThe first tim e you use Visual Studio it is im portant to get the initial settings right. Load Visual Studio 2010 from the Start menu:
Visual Studio is an I nt egrated Developm ent Environm ent (I DE) for program m ing in Visual Basic (it can also do C# and C+ + but we will not be covering those). I t is perfectly possible to write Visual
More informationAutomatically adapt Cheddar to users need
Automatically adapt Cheddar to users need AADL Standards Meeting, Toulouse A. Plantec +, V. Gaudel +, S. Rubini +, F. Singhoff + P. Dissaux*, J. Legrand* + University of Brest/UBO, LISyC, France *Ellidiss
More informationISO. International Organization for Standardization. ISO/IEC JTC 1/SC 32 Data Management and Interchange WG4 SQL/MM. Secretariat: USA (ANSI)
ISO/IEC JTC 1/SC 32 N 0736 ISO/IEC JTC 1/SC 32/WG 4 SQL/MM:VIE-006 January, 2002 ISO International Organization for Standardization ISO/IEC JTC 1/SC 32 Data Management and Interchange WG4 SQL/MM Secretariat:
More informationDominique Blouin Etienne Borde
Dominique Blouin Etienne Borde SE206: Code Generation Techniques dominique.blouin@telecom-paristech.fr etienne.borde@telecom-paristech.fr Institut Mines-Télécom Content Introduction Domain specific Languages
More informationTOPCASED. Current status
TOPCASED Current status Current tasks & facts Definition of quality assurance & Control by the Quality Group Build the maintenance infrastructure for the already developped software : To fund architecture
More informationParser and syntax analyzer. Context-Free Grammar Definition. Scanning and parsing. How bottom-up parsing works: Shift/Reduce tecnique.
POLITECNICO I TORINO Parser and syntax analyzer (01JEUHT) Formal Languages and Compilers Laboratory N 2 Stefano Scanzio mail: Web: http://www.skenz.it/compilers Given a non-ambiguous grammar and a sequence
More informationTable of Contents. Features... 1 System Requirement... 2 Package Checklist... 2
Table of Contents Chapter 1 Intr oduction Features... 1 System Requirement... 2 Package Checklist... 2 Chapter 2 Instal l ation Hardware Installation... 3 Front Panel LED... 3 Driver Installation for both
More informationAO4AADL Compiler. Sihem Loukil. June 2011
AO4AADL Compiler Sihem Loukil June 2011 We present in this report the main tools used in our work. Then, we detail one of our main contributions. Finally, we present the several steps to implement our
More informationTrace-Directed Modelling Mid-Project Meeting Report
Trace-Directed Modelling Mid-Project Meeting Report Timothy C. Lethbridge CRuiSE (Complexity Reduction in Software Engineering) Research Group University of Ottawa Dec 8, 2010 http://www.site.uottawa.ca/~tcl
More informationCommon Logic (ISO 24707)
Common Logic (ISO 24707) Michael Grüninger SC32 WG2 Meeting, Santa Fe, NM November 13, 2013 Grüninger ( SC32 WG2 Meeting) Common Logic (ISO 24707) November 13, 2013 1 / 26 What Is Common Logic? Common
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 informationComputing Science 114 Solutions to Midterm Examination Tuesday October 19, In Questions 1 20, Circle EXACTLY ONE choice as the best answer
Computing Science 114 Solutions to Midterm Examination Tuesday October 19, 2004 INSTRUCTOR: I E LEONARD TIME: 50 MINUTES In Questions 1 20, Circle EXACTLY ONE choice as the best answer 1 [2 pts] What company
More informationwith openarchitectureware
Model-Driven Development with openarchitectureware Markus Völter voelter@acm.orgorg www.voelter.de Sven Efftinge sven@efftinge.de www.efftinge.de Bernd Kolb bernd@kolbware.de www.kolbware.de 2006-7 Völter,
More informationADT: Eclipse development tools for ATL
ADT: Eclipse development tools for ATL Freddy Allilaire (freddy.allilaire@laposte.net) Tarik Idrissi (tarik.idrissi@laposte.net) Université de Nantes Faculté de Sciences et Techniques LINA (Laboratoire
More informationLesson 9: Custom JavaScript Objects
Lesson 9: Custom JavaScript Objects Objectives Create a custom JavaScript object Define properties and methods of custom objects Create new object instances Create client-side arrays using custom objects
More informationJava: Classes. An instance of a class is an object based on the class. Creation of an instance from a class is called instantiation.
Java: Classes Introduction A class defines the abstract characteristics of a thing (object), including its attributes and what it can do. Every Java program is composed of at least one class. From a programming
More informationChapter 3. Interactive Software Development Assistants Logic-based Software Representation. Logic-based Software Analysis
Advanced Logic Programming Summer semester 2012 R O O T S Chapter 3. Logic-based Analysis Interactive Development Assistants Logic-based Representation Logic-based Analysis Logic-based Transformation Motivation
More informationSemantic Analysis. Lecture 9. February 7, 2018
Semantic Analysis Lecture 9 February 7, 2018 Midterm 1 Compiler Stages 12 / 14 COOL Programming 10 / 12 Regular Languages 26 / 30 Context-free Languages 17 / 21 Parsing 20 / 23 Extra Credit 4 / 6 Average
More informationFigure 28.1 Position of the Code generator
Module 28 Code Generator Introduction and Basic Blocks After discussing the various semantic rules necessary to convert every programming construct into three-address code, in this module, we will discuss
More informationAltersgruppe: Grade 4 Virginia - Mathematics Standards of Learning (2009): 3.10a, 3.9d,
1 U n t er r ich t splan Meter and Centimeter in Perimeter and Area Altersgruppe: Grade 4 Virginia - Mathematics Standards of Learning (2009): 3.10a, 3.9d, 5.8a, 6.10c Virginia - Mathematics Standards
More informationMulti-Touch Frame User Manual
Multi-Touch Frame User Manual This roduct supports true 2-40 touch points, remote diagnosis, multi-screen capable 1 Content At a Glance Quick Start 3 1.Introduction 5 1.1 The zinframeserver Interface 5
More informationVirginia - Mathematics Standards of Learning (2009): 3.10b, 3.9d,
1 U n t er r ich t splan Calculating Area of Right Triangles Altersgruppe: Grade 4, Grade 3 Virginia - Mathematics Standards of Learning (2009): 3.10b, 3.9d, 5.8a Virginia - Mathematics Standards of Learning
More information7. Introduction to Denotational Semantics. Oscar Nierstrasz
7. Introduction to Denotational Semantics Oscar Nierstrasz Roadmap > Syntax and Semantics > Semantics of Expressions > Semantics of Assignment > Other Issues References > D. A. Schmidt, Denotational Semantics,
More informationCOMPUTER SCIENCE TRIPOS
CST.2011.3.1 COMPUTER SCIENCE TRIPOS Part IB Monday 6 June 2011 1.30 to 4.30 COMPUTER SCIENCE Paper 3 Answer five questions. Submit the answers in five separate bundles, each with its own cover sheet.
More informationModel-Driven Engineering Approach for Simulating Virtual Devices in the OSATE 2 Environment
Model-Driven Engineering Approach for Simulating Virtual Devices in the OSATE 2 Environment Fáber D. Giraldo and Mónica M. Villegas Abstract Simulating devices while developing software for embedded systems
More informationProtection Levels and Constructors The 'const' Keyword
Protection Levels and Constructors The 'const' Keyword Review: const Keyword Generally, the keyword const is applied to an identifier (variable) by a programmer to express an intent that the identifier
More informationOutline. Tutorial III. Eclipse. Basics. Eclipse Plug-in Feature
Outline Tutorial III. Eclipse Basics Eclipse Plug-in feature, MVC How to build Plug-ins Exploring Eclipse source code for Editor Using CVS inside Eclipse Eclipse JDK Tips Basics Eclipse projects: Eclipse
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 informationAssembling, Linking and Executing 1) Assembling: .obj obj .obj.lst .crf Assembler Types: a) One pass assembler:
Assembling, Linking and Executing 1) Assembling: - Assembling converts source program into object program if syntactically correct and generates an intermediate.obj file or module. - It calculates the
More informationImport and preprocessing of raw spectrum data
BioNumerics Tutorial: Import and preprocessing of raw spectrum data 1 Aim Comprehensive tools for the import of spectrum data, both raw spectrum data as processed spectrum data are incorporated into BioNumerics.
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 informationSELENIUM TRAINING COURSE CONTENT
SECTION 1 : INTRODUCTION SELENIUM TRAINING COURSE CONTENT What is automation testing? When Automation Testing is needed? What is the use of automation testing? Different Automation Tools available in the
More informationETSI GS MEC-IEG 005 V1.1.1 ( )
GS MEC-IEG 005 V1.1.1 (2015-08) GROUP SPECIFICATION Mobile-Edge Computing (MEC); Proof of Concept Framework Disclaimer This document has been produced and approved by the Mobile-Edge Computing (MEC) Industry
More informationNAMESPACES IN C++ You can refer the Programming with ANSI C++ by Bhushan Trivedi for Understanding Namespaces Better(Chapter 14)
NAMESPACES IN C++ You can refer the Programming with ANSI C++ by Bhushan Trivedi for Understanding Namespaces Better(Chapter 14) Some Material for your reference: Consider following C++ program. // A program
More informationThe Australian Curriculum: ACM M G088 NSW Mathematics K-10 Syllabus: M A2-15 M G, M A2-15 M G.
1 U n t er r ich t splan Classifying Quad rilaterals Altersgruppe: Ye ar 4, Ye ar 5 The Australian Curriculum: ACM M G088 NSW Mathematics K-10 Syllabus: M A2-15 M G, M A2-15 M G. Victorian Curriculum:
More informationModel Editing & Processing Tools. AADL Committee, San Diego February 4th, Pierre Dissaux. Ellidiss. Technologies w w w. e l l i d i s s.
Model Editing & Processing Tools AADL Committee, San Diego February 4th, 2015 Pierre Dissaux Technologies w w w. e l l i d i s s. c o m Independent Technology Provider: Software w w w. e l l i d i s s.
More informationAltersgruppe: Ye ar 4 The Australian Curriculum: ACM N A07 5 NSW Mathematics K-10 Syllabus: M A2-6N A, M A2-6N A. Students play.
1 U n t er r ich t splan Multiplication - Expand ed and Stand ard Algorithms Altersgruppe: Ye ar 4 The Australian Curriculum: ACM N A07 5 NSW Mathematics K-10 Syllabus: M A2-6N A, M A2-6N A. Victorian
More informationWordPress site Import/Export Procedure
Platform Export single site from WordPress single site (SOURCE SITE) Import to one site on VSB Blog site (DESTINATION SITE) This procedure does not require direct access to the file servers that host the
More informationWinshuttle InfoPath Controls. Adrian Jimenez Winshuttle
Winshuttle InfoPath Controls Adrian Jimenez Winshuttle 1 Introduction Winshuttle Workflow Controls 2 Target Audience Business Process Developers 3 Basic Concepts Winshuttle Workflow Workflow engine Designer
More informationStudents pract ice. min. E xpe ri e nc e aligning polygons with a grid to determine area
1 U n t er r ich t splan Calculating Area of Parallelograms Altersgruppe: Grade 4, Grade 3 Virginia - Mathematics Standards of Learning (2009): 3.10b, 3.9d Virginia - Mathematics Standards of Learning
More informationThe AADL Behavioural annex 1
1 IRIT-CNRS ; Université de Toulouse, France Ellidis Software France-UK SEI CMU USA Wednesday March 24 th 2010 OXFORD UML-AADL 2010 Panel 1 This work was partly supported by the French AESE project Topcased
More informationETSI TS V ( )
TS 124 315 V14.0.0 (2017-03) TECHNICAL SPECIFICATION Universal Mobile Telecommunications System (UMTS); LTE; IP Multimedia Subsystem (IMS) Operator Determined Barring (ODB); Stage 3: protocol specification
More informationJavaScript: Sort of a Big Deal,
: Sort of a Big Deal, But Sort of Quirky... March 20, 2017 Lisp in C s Clothing (Crockford, 2001) Dynamically Typed: no static type annotations or type checks. C-Like Syntax: curly-braces, for, semicolons,
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 informationThingWorx Open Street Map Extension User Guide. Open Street Map Extension User Guide Version 1.0
Open Street Map Extension User Guide Version 1.0 Software Change Log... 3 Introduction and Installation... 3 About the Open Street Map Extension... 3 Installing the Open Street Map Extension... 3 Usage
More informationa. Choose your address: This will become the web address for your wiki page. iii. Workspace purpose: Choose whatever you want.
HOW TO CREATE A WIKI 1. Go to http://pbworks.com. 2. Click on Sign up. 3. Click on Select beneath the heading for the Basic service. 4. Complete the form to create your wiki and set up your account: a.
More informationMore About Objects and Methods
More About Objects and Methods Chapter 6 Objectives Define and use constructors Write and use static variables and methods Use methods from class Math Use predefined wrapper classes Use stubs, drivers
More information