Remote Control. IMMS.de
|
|
- Laureen Walsh
- 6 years ago
- Views:
Transcription
1 Remote Control
2 Statecharts Kurzdefinition [Harel88]: Statecharts = state-diagrams + depth + orthogonality + broadcast communication
3 Statecharts Elements (1) Events (e.g. txt)» Typeless» no value (it exists or is absent)» no duration (it exists only one step ) Basic States (e.g. STANDBY) Composite States (containing a group of states)» AND-States (e.g. NORMAL) orthogonal, several concurrent regions» OR-States (e.g. SOUND) sequential
4 Default Transition (pseudo state) Statecharts Elements (2) Transition Label Syntax (e.g. p1/sm) event [ condition ] / action (all parts are optional, i.e. event, /action or [condition] are possible labels) External Events (e.g. txt) Internal Events (e.g. sm) Event Broadcasting (e.g. sm)
5 Statecharts Elements (3) Special Events Timeout-Event tm(n) (e.g. tm(1)) Hierarchy Sub-States (e.g. CHANNELS and SM are sub-states of NORMAL) Transition Priorities Transitions originating from parent states have a higher priority than transitions from sub-states (e.g. poweroff vs. txt).
6 Mögliche Änderungen/Verbesserungen (Remote Control) Wenn auf MUTE geschaltet wird, bleibt dieser Zustand unabhängig von TXT, P1 und P2 erhalten. TXT, P1, P2, MUTE/SOUND bleiben auch im ausgeschalteten Zustand erhalten. P1/P2 bleibt auch nach zwischenzeitlichem TXT ausgewählt. Während TXT kann zwischen P1 und P2 umgeschaltet werden.
7 Statecharts Elements (4) Special Events (Implicit Events) Entry-/Exit-Events Static Reactions differ from self transitions in that way that no exit- and entryactions will be performed Pseudo States: join, fork, branch (for decluttering charts) History-States: enter last visited state(s)» (Shallow) History: only current level of hierarchy» Deep History: all subsequent hierachical levels
8 Statecharts Elements (5) Logic Operators in Transition Labels NOT, AND, OR, () Action Lists in Transition Labels action1 ; action2 Action Language implementation language independent Generic data items with explicit types Root state (has no parent state)
9 Statecharts Semantics (1) General A statechart diagram specifies the states that a system can reside in and describes the event triggered flow of control, as the result of the system s reactions to events from the environment or internal events. Reactions include changing states, executing internal actions and sending events to other systems or subsystems.
10 Statecharts Semantics (2) Run, Configuration, Step The behavior of a system described with Statecharts is a set of possible runs, each representing the responses of the system to a sequence of external stimuli (i.e. events) generated by its environment. A run consists of a series of detailed snapshots of the system s situation; such a snapshot is called a configuration. The first in the sequence is the initial configuration, and each subsequent one is obtained from its predecessor by executing a step. If no further transition can be taken without at least one external stimulus (i.e. event) the system is said to be in a stable configuration.
11 Statechart Configurations Configuration: A maximum set of states (C) that the system can be simultaneously in. C = { STATE1, STATE2,..., STATEn} Examples (Remote Control): CINIT = { STANDBY } C1 = { ON, IMAGE, SOUND, NORMAL, MUTE, CHANNELS, SM, CH1, REST } C2 = { ON, IMAGE, SOUND, VIDEOTXT, SOUND.ON } CSTABLE = { ON, IMAGE, SOUND, VIDEOTXT, MUTE }
12 Synchronous Paradigm / Synchrony Hypothesis The fundamental idea of the synchronous approach: Reactive systems are idealized by assuming that a stimulation and reaction are simultaneous, i.e. reaction takes zero time. Abstracting physical time offers a number of advantages:» the granularity of time may be changed without affecting the sequence of events, and» System components can be composed and decomposed into subcomponents without changing the observable behavior. In practical terms, the synchrony hypothesis states that a system reacts fast enough to record all external events in the proper order. This property has to be checked during implementation!
13 Some additional consequences resulting from synchrony hypothesis Events have no duration. Generation of events doesn t consume time. Transitions don t consume time. The system is always in a unambiguous state. Events are instantaneous visible in the whole system. The system is always able to react to external and internal stimuli.
14 Consequences resulting from synchrony hypothesis A1 B1 C1 A/B B/D A and D/E A2 B2 C2 All three transitions occur at the same time, as are events A, B, D and E!
15 Paradoxon resulting from synchrony hypothesis A1 B1 not E1/E2 E2/E1 A2 B2 Possible Solution for this semantic problem: micro-steps (and macro-steps)
16 Micro-Step and Macro-Step Semantics Reactions to events, and changes occurred within a (micro-) step, can be sensed only after the step. Events live in the (micro-)step following their occurence, for one (micro-)step only. Calculations are based on the situation at the beginning of the (micro-)step. The execution of a micro-step changes the configuration of a statechart. Micro-steps don t consume time! Time passes in a macro-step only which occurs if no transition takes place, i.e. if the system is in a stable configuration (i.e. tick-events are only generated during macro-steps).
17 Tool Implementations of Statecharts STATEMATE (I-Logix) first and de-facto reference implementation of Harel statecharts Stateflow (Mathworks) special Matlab/Simulink package VisualState (IAR Systems) BetterState (Wind River) Several academic tools (AutoFocus, Ptolemy...) Renoir (Mentor Graphics) Design Entry tool for HDL-oriented designs Several UML tools (Rhapsody, Rose, Real-time Studio...) Statecharts are part of the UML standard
18 UML: (Main) Differences between STATEMATE Statecharts and UML Statecharts single event dispatching (run-to-completion) A dispatcher selects one event from an event queue. Events are processed one by one, each after the other. Accordingly, transitions are triggered by at most one event (i.e. no compound event triggers). a lower level transition has priority over a higher level one both asynchronous and synchronous communication (the caller must wait until the callee has finished) no broadcasting (communication has to be directed) no zero-time assumption (i.e. transitions consume time) actions are executed in the given order no negated trigger events deferred (pending) events
19 Themen für studentische Tätigkeiten (Projektseminar, Praktikum, Beleg, Diplom) Ansprechpartner: Wolfram Kattanek 03677/ Weitere Angebote unter: Modellierung und Implementierung von Steuer- und Regelfunktionen für den IMMS Concept Truck Statemate, Stateflow, ASCET-SD, CANoe, OSEK-Emulation, OSEK, Bildverarbeitung Automotive UML Bearbeitung von Fallstudien mit unterschiedlichen Tools und Methoden Portierung des Echtzeitbetriebssystems ecos und Entwicklung von Gerätetreibern CAN, Ethernet, PCB-Design, NET+ARM, NIOS, Board und Architektursimulator Applikations- und Middleware-Entwicklung für das Echtzeitbetriebssystem ecos UML, Java/JVM, Synthetic ecos Targets
Section 8. The Basic Step Algorithm
Section 8. The Basic Step Algorithm Inputs The status of the system The current time A list of external changes presented by the environment since the last step Comments Scheduled action appears in the
More informationUnified Modeling Language 2
Unified Modeling Language 2 State machines 109 History and predecessors 1950 s: Finite State Machines Huffmann, Mealy, Moore 1987: Harel Statecharts conditions hierarchical (and/or) states history states
More informationProf. Dr. Reinhard von Hanxleden. Christian-Albrechts Universität Kiel Department of Computer Science Real-Time Systems and Embedded Systems Group
Design of Embedded Systems: Models, Validation and Synthesis (EE 249) Lecture 4a Prof. Dr. Reinhard von Hanxleden Christian-Albrechts Universität Kiel Department of Computer Science Real-Time Systems and
More informationLecture 16: Hierarchical State Machines II
Software Design, Modelling and Analysis in UML Lecture 6: Hierarchical State Machines II 206-0-9 6 206-0-9 main Prof. Dr. Andreas Podelski, Dr. Bernd Westphal Albert-Ludwigs-Universität Freiburg, Germany
More informationSTATE MACHINES. Figure 1: State Machines
STATE MACHINES Figure 1: State Machines state machine A state machine is a behavior that specifies the sequences of states an object goes through during its lifetime in response to events. Graphically,
More informationSpecifications Part 1
pm3 12 Specifications Part 1 Embedded System Design Kluwer Academic Publisher by Peter Marwedel TU Dortmund 2008/11/15 ine Marwedel, 2003 Graphics: Alexandra Nolte, Ges Introduction 12, 2008-2 - 1 Specification
More informationCombined Modeling and Programming with State Machines
Combined Modeling and Programming with State Machines Kjetil Andresen Master s Thesis Spring 2014 Combined Modeling and Programming with State Machines Kjetil Andresen 1st May 2014 ii Abstract As part
More informationvisualstate Reference Guide
COPYRIGHT NOTICE Copyright 2000 2014 IAR Systems AB. No part of this document may be reproduced without the prior written consent of IAR Systems. The software described in this document is furnished under
More informationSCXML State Chart XML
SCXML State Chart XML Previously, in this course... Previously, in this course... Running Example all actions omitted wasn t it supposed to help? Previously, in this course... Running Example all actions
More informationSCXML State Chart XML. Previously, in this course...
SCXML State Chart XML Previously, in this course... Previously, in this course... Running Example all actions omitted wasn t it supposed to help? Previously, in this course... Running Example all actions
More informationExecuting SyncCharts with Ptolemy
Executing SyncCharts with Christian Motika Real-Time Systems and Embedded Systems Group Department of Computer Science Christian-Albrechts-Universität zu Kiel, Germany KIEL ER SYNCHRON Workshop 2010 Frejús,
More informationEE249 Lab September 30 h, 2008 Hugo A. Andrade
High-Level Development Tools Data Flow C Code Textual Math Modeling Statechart EE249 Lab September 30 h, 2008 Hugo A. Andrade Graphical System Design Platform Linux Macintosh Windows Real-Time FPGA Micro
More informationState Machine Diagrams
State Machine Diagrams Introduction A state machine diagram, models the dynamic aspects of the system by showing the flow of control from state to state for a particular class. 2 Introduction Whereas an
More informationStatecharts 1.- INTRODUCTION 1.- INTRODUCTION
Statecharts INDEX 1.- Introduction 2.- When to use Statecharts 3.- Basic components 4.- Connectors and compound transitions Mª Ángeles Martínez Ibáñez University of Bergen Selected topics in programming
More informationExercise Unit 2: Modeling Paradigms - RT-UML. UML: The Unified Modeling Language. Statecharts. RT-UML in AnyLogic
Exercise Unit 2: Modeling Paradigms - RT-UML UML: The Unified Modeling Language Statecharts RT-UML in AnyLogic Simulation and Modeling I Modeling with RT-UML 1 RT-UML: UML Unified Modeling Language a mix
More informationIngegneria del Software Corso di Laurea in Informatica per il Management
Ingegneria del Software Corso di Laurea in Informatica per il Management UML: State machine diagram Davide Rossi Dipartimento di Informatica Università di Bologna State machine A behavioral state machine
More informationUML 2.0 State Machines
UML 2.0 State Machines Frederic.Mallet@unice.fr Université Nice Sophia Antipolis M1 Formalisms for the functional and temporal analysis With R. de Simone Objectives UML, OMG and MDA Main diagrams in UML
More informationConcurrent Models of Computation
Concurrent Models of Computation Edward A. Lee Robert S. Pepper Distinguished Professor, UC Berkeley EECS 219D Concurrent Models of Computation Fall 2011 Copyright 2009-2011, Edward A. Lee, All rights
More informationCISC836: Models in Software Development: Methods, Techniques and Tools
CISC836: Models in Software Development: Methods, Techniques and Tools Topic 3: Expressing Software Models Expressing SW models: Overview 1. Examples of software modeling languages 1. UML (for modeling
More informationSynchronous Statecharts. Christian Motika
Execution (KlePto) Esterel to transformation (KIES) Synchronous Statecharts for executing Esterel with Ptolemy Christian Motika Real-Time Systems and Embedded Systems Group Department of Computer Science
More informationStates Transitions Connectors Esterel Studio
Time in Differences SyncCharts differ from other implementations of : Synchronous framework Determinism Compilation into backend language Esterel No interpretation for simulations No hidden behaviour Multiple
More informationRequirements-Level Semantics and Model Checking of Object- Oriented Statecharts
Requirements Eng (2002) 7:243 263 Ownership and Copyright ß 2002 Springer-Verlag London Limited Requirements Engineering Requirements-Level Semantics and Model Checking of Object- Oriented Statecharts
More informationŁabiak G., Miczulski P. (IIE, UZ, Zielona Góra, Poland)
UML STATECHARTS AND PETRI NETS MODEL COMPARIS FOR SYSTEM LEVEL MODELLING Łabiak G., Miczulski P. (IIE, UZ, Zielona Góra, Poland) The system level modelling can be carried out with using some miscellaneous
More informationCS 310 Embedded Computer Systems DESIGN
1 EMBEDDED SYSTEM DESIGN Embedded System Design 2 3 Specification Introduction 4 Describing embedded d system s processing behavior Can be extremely difficult Complexity increasing with increasing IC capacity
More informationEarly design phases. Peter Marwedel TU Dortmund, Informatik /10/11. technische universität dortmund. fakultät für informatik informatik 12
12 Early design phases Peter Marwedel TU Dortmund, Informatik 12 2010/10/11 These slides use Microsoft clip arts. Microsoft copyright restrictions apply. Graphics: Alexandra Nolte, Gesine Marwedel, 2003
More informationCA314 Object Oriented Analysis & Design - 7. File name: CA314_Section_07_Ver01 Author: L Tuohey No. of pages: 16
CA314 Object Oriented Analysis & Design - 7 File name: CA314_Section_07_Ver01 Author: L Tuohey No. of pages: 16 Table of Contents 7. UML State & Activity Diagrams (see ref 1, Chap. 11, 12)...3 7.1 Introduction...3
More informationUNIT-4 Behavioral Diagrams
UNIT-4 Behavioral Diagrams P. P. Mahale Behavioral Diagrams Use Case Diagram high-level behaviors of the system, user goals, external entities: actors Sequence Diagram focus on time ordering of messages
More informationAutoMoDe Model-Based Development of Automotive Software
AutoMoDe Model-Based Development of Automotive Software Dirk Ziegenbein Robert Bosch GmbH Peter Braun Validas AG Ulrich Freund ETAS Engineering Tools GmbH Andreas Bauer, Jan Romberg, Bernhard Schätz Institut
More informationHardware Description Languages & System Description Languages Properties
Hardware Description Languages & System Description Languages Properties There is a need for executable specification language that is capable of capturing the functionality of the system in a machine-readable
More informationThirty one Problems in the Semantics of UML 1.3 Dynamics
Thirty one Problems in the Semantics of UML 1.3 Dynamics G. Reggio R.J. Wieringa September 14, 1999 1 Introduction In this discussion paper we list a number of problems we found with the current dynamic
More informationHeterogeneous Modeling for Automotive Electronic Control Units using a CASE-Tool Integration Platform
Proceedings of the 2004 IEEE Conference on Computer Aided Control Systems Design Taipei, Taiwan, September 2-4, 2004 Heterogeneous Modeling for Automotive Electronic Control Units using a CASE-Tool Integration
More informationThe STATEMATE Semantics of Statecharts
The STATEMATE Semantics of Statecharts DAVID HAREL The Weizmann Institute of Science and AMNON NAAMAD i-logix, Inc. We describe the semantics of statecharts as implemented in the STATEMATE system. This
More informationComposition of State Machines
Chapter 5 Composition of State Machines Hongwei Zhang http://www.cs.wayne.edu/~hzhang/ Ack.: this lecture is prepared in part based on slides of Lee, Sangiovanni-Vincentelli, Seshia. Outline Concurrent
More informationAutomatic Code Generation from Stateflow Models
Automatic Code Generation from Stateflow Models Andres Toom IB Krates OÜ / Institute of Cybernetics at TUT Based on the Master s Thesis 05.2007 Supervisors: Tõnu Näks, Tarmo Uustalu TUT Department of Computer
More informationFinite State Machines and Statecharts
Finite State Machines and Statecharts Hassan Gomaa Dept of Information & Software Engineering George Mason University Reference: H. Gomaa, Chapter 10 - Designing Concurrent, Distributed, and Real-Time
More informationInteractive Esterel to SyncCharts Transformation. Christian Motika
Interactive Esterel to SyncCharts Transformation for executing Esterel with Ptolemy Christian Motika Real-Time Systems and Embedded Systems Group Department of Computer Science Christian-Albrechts-Universität
More informationIn This Lecture You Will Learn: Specifying Control. Statechart. Event, State and Transition
In This Lecture You Will Learn: Specifying Control Lecture 11 How to identify requirements for control in an application How to model object life cycles using statecharts How to develop statechart diagrams
More informationExplicit Modeling of Semantics Associated with Composite States in UML Statecharts 1
Explicit Modeling of Semantics Associated with Composite States in UML Statecharts 1 Zhaoxia Hu and Sol M. Shatz Concurrent Software Systems Laboratory Department of Computer Science University of Illinois
More informationInteractions A link message
Interactions An interaction is a behavior that is composed of a set of messages exchanged among a set of objects within a context to accomplish a purpose. A message specifies the communication between
More informationDynamic Modeling - Finite State Machines
Dynamic Modeling - Finite State Machines SWE 321 Fall 2014 Rob Pettit 1 Finite State Machines Finite number of states Only in one state at a time Transition Change of state Caused by event Transition to
More informationProcess and data flow modeling
Process and data flow modeling Vince Molnár Informatikai Rendszertervezés BMEVIMIAC01 Budapest University of Technology and Economics Fault Tolerant Systems Research Group Budapest University of Technology
More informationActor-eUML for Concurrent Programming
Actor-eUML for Concurrent Programming Kevin Marth and Shangping Ren Illinois Institute of Technology Department of Computer Science Chicago, IL USA martkev@iit.edu Abstract. The advent of multi-core processors
More informationExecution of UML State Machines Using Modelica
Execution of UML State Machines Using Modelica Wladimir Schamai 1, Uwe Pohlmann 2, Peter Fritzson 3, Christiaan J.J. Paredis 4, Philipp Helle 1, Carsten Strobel 1 1 EADS Innovation Works, Germany 2 University
More informationEmbedded Systems. Problem 1: Getting started with STATEFLOW. Starting STATEFLOW
Prof. Bernd Finkbeiner, Ph.D. Winter term 2008/2009 Dipl.-Inf. Rüdiger Ehlers Problem Set 2 Dipl.-Inf.Hans-Jörg Peter Due: Thursday,6 th November 2008 Michael Gerke, B.Sc. Embedded Systems STATEFLOW is
More informationHow useful is the UML profile SPT without Semantics? 1
How useful is the UML profile SPT without Semantics? 1 Susanne Graf, Ileana Ober VERIMAG 2, avenue de Vignate - F-38610 Gières - France e-mail:{susanne.graf, Ileana.Ober}@imag.fr http://www-verimag.imag.fr/~{graf,iober}
More informationHardware Description Languages & System Description Languages Properties
Hardware Description Languages & System Description Languages Properties There is a need for executable specification language that is capable of capturing the functionality of the system in a machine-readable
More informationA Role-based Use Case Model for Remote Data Acquisition Systems *
A Role-based Use Case Model for Remote Acquisition Systems * Txomin Nieva, Alain Wegmann Institute for computer Communications and Applications (ICA), Communication Systems Department (DSC), Swiss Federal
More informationThe learning objectives of this chapter are the followings. At the end of this chapter, you shall
Chapter 5 Sequence diagrams In the previous chapters, we have seen different diagrams. Use case diagrams describe tasks that a system is supposed to perform. It gives high-level information about how a
More informationModal Models in Ptolemy
Modal Models in Ptolemy Edward A. Lee Stavros Tripakis UC Berkeley Workshop on Equation-Based Object-Oriented Modeling Languages and Tools 3rd International Workshop on Equation-Based Object-Oriented Modeling
More informationConcurrent Models of Computation
Chapter 5 Concurrent Models of Computation Contents 5.1 Structure of Models....................... 117 5.2 Synchronous-Reactive Models................. 118 Sidebar: Actor Networks as a System of Equations.......
More informationPrecise Action Semantics for UML
Precise Action Semantics for UML Stephen J. Mellor Ian Wilkie PROJECT TECHNOLOGY Benefits of Action Semantics Action semantics and executable models enable: complete specification precise specification
More informationUML-based framework for simulation of distributed ECU systems in automotive applications
UML-based framework for simulation of distributed ECU systems in automotive applications Frank Steinert protime GmbH Prien Germany A UML based framework for the simulation of distributed systems of embedded
More informationSpecification and design of distributed embedded middleware applications with SDL Dr. Eckhardt Holz. Humboldt-Universität zu Berlin
Specification and design of distributed embedded middleware applications with SDL-2000 Dr. Eckhardt Holz Humboldt-Universität zu Berlin SDL-2000 ITU-T Specification and Description Language graphical language
More informationReal-Time Programming Languages (ADA and Esterel as Examples)
Real-Time Programming Languages (ADA and Esterel as Examples) Real-Time Systems, 2008 RT Languages, 1 RT Language Classes HLL suitable for RT-Analysis (e.g., rms or time-driven) Synchronous HLL (clock
More informationComponent-based Construction of Heterogeneous Real-time Systems in BIP
Component-based Construction of Heterogeneous Real-time Systems in BIP Joseph Sifakis VERIMAG FETCH07 Villard-de-Lans, January 2007 Joseph Sifakis FETCH07 1 Key-issues: Component-based construction Develop
More informationLecture 6B Hierarchical/Concurrent State Machine Models (HCFSM)
ECE 474A/57A Computer-Aided Logic Design Outline Models vs. Languages Lecture 6B Hierarchical/Concurrent State Machine Models (HCFSM) State Machine Model FSM/FSMD HCFSM and Statecharts Language Program-State
More informationUnderstanding and Comparing Model-Based Specification Notations
Understanding and Comparing Model-Based Specification Notations Jianwei Niu, Joanne M. tlee, Nancy. Day University of Waterloo 200 University venue West Waterloo, Ontario, Canada N2L 3G1 jniu,jmatlee,nday
More informationPieter van den Hombergh. Fontys Hogeschool voor Techniek en Logistiek. September 9, 2016
Pieter van den Hombergh Fontys Hogeschool voor Techniek en Logistiek September 9, 2016 Contents /FHTenL September 9, 2016 2/35 UML State Uses and application In behaviour is modeled with state charts (diagrams)
More informationSpecifications and Modeling
12 Specifications and Modeling Peter Marwedel TU Dortmund, Informatik 12 Springer, 2010 2012 年 10 月 17 日 These slides use Microsoft clip arts. Microsoft copyright restrictions apply. Hypothetical design
More informationFusing Dataflow with Finite State Machines
May 3, 1996 U N T H E I V E R S I T Y A O F LE T TH E R E B E 1 8 6 8 LIG H T C A L I A I F O R N Fusing Dataflow with Finite State Machines Department of Electrical Engineering and Computer Science Bilung
More informationObject-Oriented Modeling. State Machine Diagram. Slides accompanying Version 1.0
Object-Oriented Modeling State Machine Diagram Slides accompanying UML@Classroom Version 1.0 Business Informatics Group Institute of Software Technology and Interactive Systems Vienna University of Technology
More informationTurn Indicator Model Overview
Turn Indicator Model Overview Jan Peleska 1, Florian Lapschies 1, Helge Löding 2, Peer Smuda 3, Hermann Schmid 3, Elena Vorobev 1, and Cornelia Zahlten 2 1 Department of Mathematics and Computer Science
More informationTransforming UML Collaborating Statecharts for Verification and Simulation
Transforming UML Collaborating Statecharts for Verification and Simulation Patrick O. Bobbie, Yiming Ji, and Lusheng Liang School of Computing and Software Engineering Southern Polytechnic State University
More informationChapter 4: Threads. Operating System Concepts 9 th Edit9on
Chapter 4: Threads Operating System Concepts 9 th Edit9on Silberschatz, Galvin and Gagne 2013 Chapter 4: Threads 1. Overview 2. Multicore Programming 3. Multithreading Models 4. Thread Libraries 5. Implicit
More informationSE Assignment III. 1. List and explain primitive symbols used for constructing DFDs. Illustrate the use of these symbols with the help of an example.
SE Assignment III 1. List and explain primitive symbols used for constructing DFDs. Illustrate the use of these symbols with the help of an example. There are essentially 5 different types of symbols used
More informationFinite State Machine Modeling for Software Product Lines. Finite State Machines and Statecharts
SWE 721 / IT 821 Advanced Software Design: Reusable Software Architectures Finite State Machine Modeling for Software Product Lines Hassan Gomaa Department of Information and Software Engineering George
More informationOverview. Synchronous Languages Lecture 12. Code Generation for Sequential Constructiveness. Compilation Overview. The 5-Minute Review Session
Synchronous Languages Lecture 12 Overview Prof. Dr. Reinhard von Hanxleden Steven Smyth Christian-Albrechts Universität Kiel Department of Computer Science Real-Time Systems and Embedded Systems Group
More informationMODEL-BASED NOTATIONS are notations that allow the
866 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 29, NO. 10, OCTOBER 2003 Template Semantics for Model-Based Notations Jianwei Niu, Student Member, IEEE, Joanne M. Atlee, Member, IEEE Computer Society,
More informationMeltem Özturan
Meltem Özturan www.mis.boun.edu.tr/ozturan/samd 1 2 Modeling System Requirements Object Oriented Approach to Requirements OOA considers an IS as a set of objects that work together to carry out the function.
More informationTITUS A Graphical Design Methodology for Embedded Automotive Software
TITUS A Graphical Design Methodology for Embedded Automotive Software Ulrich Freund, Alexander Burst, ETAS GmbH Stuttgart Abstract Vehicle body electronic software has reached a level of complexity and
More informationTTool Training. I. Introduction to UML
TTool Training I. Introduction to UML Ludovic Apvrille ludovic.apvrille@telecom-paris.fr Eurecom, Office 223 Ludovic Apvrille TTool Training - 2004. Slide #1 Outline of the Training Introduction to UML
More informationAbstracting Timing Information in UML State Charts via
Abstracting Timing Information in UML State Charts via Temporal Ordering and LOTOS Valentin Chimisliu Institut für Softwaretechnologie Technische Universität Graz Graz, Austria Franz Wotawa Institut für
More informationEmbedded system design with multiple languages
Embedded system design with multiple languages Rolf Ernst Institut für Datenverarbeitungsanlagen Technical University of Braunschweig Hans-Sommer-Str. 66 D-38106 Braunschweig Germany Tel.: ++49 531 391
More informationLesson 11. W.C.Udwela Department of Mathematics & Computer Science
Lesson 11 INTRODUCING UML W.C.Udwela Department of Mathematics & Computer Science Why we model? Central part of all the activities We build model to Communicate Visualize and control Better understand
More informationUML 2.0 UML 2.0. Scott Uk-Jin Lee. Division of Computer Science, College of Computing Hanyang University ERICA Campus
UML 2.0 Division of Computer Science, College of Computing Hanyang University ERICA Campus Introduction to UML 2.0 UML Unified Modeling Language Visual language for specifying, constructing and documenting
More informationarxiv:cs/ v1 [cs.se] 16 Jul 2004
Model Checking of Statechart Models Survey and Research Directions arxiv:cs/0407038v1 [cs.se] 16 Jul 2004 Purandar Bhaduri TRDDC, Tata Consultancy Services 54 B, Hadapsar Industrial Estate Pune 411 013,
More informationAdvanced Software Engineering
Dev Bhoomi Institute Of Technology LABORATORY MANUAL PRACTICAL INSTRUCTION SHEET EXPERIMENT NO. ISSUE NO. : ISSUE DATE: REV. NO. : REV. DATE : PAGE: 1 LABORATORY Name & Code: Advanced Software Engineering
More informationChapter 4: Multithreaded Programming
Chapter 4: Multithreaded Programming Silberschatz, Galvin and Gagne 2013 Chapter 4: Multithreaded Programming Overview Multicore Programming Multithreading Models Thread Libraries Implicit Threading Threading
More informationIEC [1] is an international standard that defines a
1 A Synchronous Approach for IEC 61499 Function Block Implementation Li Hsien Yoong, Partha S Roop, Valeriy Vyatkin and Zoran Salcic Abstract IEC 61499 has been orsed as the standard for modelling and
More informationEVENTS AND SIGNALS. Figure 1: Events. kinds of events Signal Event
EVENTS AND SIGNALS Events An event is the specification of a significant occurrence that has a location in time and space. Any thing that happens is modeled as an event in UML. In the context of state
More informationStateflow for Signal Processing and Communications Applications with Code Generation Capabilities
Stateflow for Signal Processing and Communications Applications with Code Generation Capabilities MathWorks Korea 이웅재부장 Senior Application Engineer 2013 The MathWorks, Inc. 1 Agenda State Machines in Signal
More informationFlexFlow: Workflow for Interactive Internet Applications
FlexFlow: Workflow for Interactive Internet Applications Rakesh Mohan, Mitchell A. Cohen, Josef Schiefer {rakeshm, macohen, josef.schiefer}@us.ibm.com IBM T.J. Watson Research Center PO Box 704 Yorktown
More informationReinhard v. Hanxleden 1, Michael Mendler 2, J. Aguado 2, Björn Duderstadt 1, Insa Fuhrmann 1, Christian Motika 1, Stephen Mercer 3 and Owen Brian 3
Sequentially Constructive Concurrency * A conservative extension of the Synchronous Model of Computation Reinhard v. Hanxleden, Michael Mendler 2, J. Aguado 2, Björn Duderstadt, Insa Fuhrmann, Christian
More informationDIVERSITY TG Automatic Test Case Generation from Matlab/Simulink models. Diane Bahrami, Alain Faivre, Arnault Lapitre
DIVERSITY TG Automatic Test Case Generation from Matlab/Simulink models Diane Bahrami, Alain Faivre, Arnault Lapitre CEA, LIST, Laboratory of Model Driven Engineering for Embedded Systems (LISE), Point
More informationCourse "Softwaretechnik" Book Chapter 2 Modeling with UML
Course "Softwaretechnik" Book Chapter 2 Modeling with UML Lutz Prechelt, Bernd Bruegge, Allen H. Dutoit Freie Universität Berlin, Institut für Informatik http://www.inf.fu-berlin.de/inst/ag-se/ Modeling,
More informationSimulink/Stateflow. June 2008
Simulink/Stateflow Paul Caspi http://www-verimag.imag.fr/ Pieter Mosterman http://www.mathworks.com/ June 2008 1 Introduction Probably, the early designers of Simulink in the late eighties would have been
More informationObject Oriented Modeling
Overview UML Unified Modeling Language What is Modeling? What is UML? A brief history of UML Understanding the basics of UML UML diagrams UML Modeling tools 2 Modeling Object Oriented Modeling Describing
More informationUNIVERSITY OF OSLO Department of Informatics. Exploration of UML State Machine implementations in Java. Master thesis. Morten Olav Hansen
UNIVERSITY OF OSLO Department of Informatics Exploration of UML State Machine implementations in Java Master thesis Morten Olav Hansen February 15, 2011 Contents 1 Introduction 8 1.1 Motivation...............................
More informationQuestions from last time
Questions from last time Pthreads vs regular thread? Pthreads are POSIX-standard threads (1995). There exist earlier and newer standards (C++11). Pthread is probably most common. Pthread API: about a 100
More informationCourse "Softwaretechnik" Book Chapter 5 Analysis: Dynamic Modeling
Course "Softwaretechnik" Book Chapter 5 Analysis: Dynamic Modeling Lutz Prechelt, Bernd Bruegge, Allen H. Dutoit Freie Universität Berlin, Institut für Informatik http://www.inf.fu-berlin.de/inst/ag-se/
More informationDeveloping Shlaer-Mellor Models Using UML
Developing Shlaer-Mellor Models Using UML Stephen J. Mellor Neil Lang Project Technology, Inc. 10940 Bigge Street San Leandro, California 94577 (510) 567-0255 http://www.projtech.com This position paper
More informationModeling Heterogeneous Real-time Components in BIP
Modeling Heterogeneous Real-time Components in BIP Joseph Sifakis in collaboration with Ananda Basu and Marius Bozga VERIMAG Composition of Embedded Systems Scientific and Industrial Issues Monterey Workshop
More informationEE382N.23: Embedded System Design and Modeling
EE382N.23: Embedded System Design and Modeling Lecture 3 Language Semantics Andreas Gerstlauer Electrical and Computer Engineering University of Texas at Austin gerstl@ece.utexas.edu Lecture 3: Outline
More informationSpecifications and Modeling
12 Specifications and Modeling Peter Marwedel TU Dortmund, Informatik 12 2009/10/20 Graphics: Alexandra Nolte, Gesine Marwedel, 2003 Structure of this course 2: Specification Design repository Design Application
More informationSysML State Machines: a formal model for refinement. COMPASS White Paper WP03. July Public Document
Project: COMPASS Grant Agreement: 287829 Comprehensive Modelling for Advanced Systems of Systems SysML State Machines: a formal model for refinement COMPASS White Paper WP03 July 2013 Public Document http://www.compass-research.eu
More informationHierarchical FSMs with Multiple CMs
Hierarchical FSMs with Multiple CMs Manaloor Govindarajan Balasubramanian Manikantan Bharathwaj Muthuswamy (aka Bharath) Reference: Hierarchical FSMs with Multiple Concurrency Models. Alain Girault, Bilung
More informationTI-No. 4002TI05.doc PAGE NO. : 1/1. Settings after Installation of the Firmware Version 74
TI-No. 4002TI05.doc PAGE NO. : 1/1 DEVELOP Technical Information MODEL NAME : D 4500/5500iD MODEL CODE : 4002/4003 TI-INFO-NO. : 05 DATE : 13.07.2001 SUBJECT : Firmware MSC/Message/IR Version 74 PERFORMANCE
More informationINTERNATIONAL JOURNAL OF PURE AND APPLIED RESEARCH IN ENGINEERING AND TECHNOLOGY
INTERNATIONAL JOURNAL OF PURE AND APPLIED RESEARCH IN ENGINEERING AND TECHNOLOGY A PATH FOR HORIZING YOUR INNOVATIVE WORK TRANSFORMATION OF UML SEQUENCE DIAGRAM TO JAVA CODE HARSHAL D. GURAD 1, PROF. V.
More informationTransactum Business Process Manager with High-Performance Elastic Scaling. November 2011 Ivan Klianev
Transactum Business Process Manager with High-Performance Elastic Scaling November 2011 Ivan Klianev Transactum BPM serves three primary objectives: To make it possible for developers unfamiliar with distributed
More informationIT 540 Operating Systems ECE519 Advanced Operating Systems
IT 540 Operating Systems ECE519 Advanced Operating Systems Prof. Dr. Hasan Hüseyin BALIK (3 rd Week) (Advanced) Operating Systems 3. Process Description and Control 3. Outline What Is a Process? Process
More information