An Programming Language with Fixed-Logical Execution Time Semantics for Real-time Embedded Systems
|
|
- Basil Aron Robbins
- 5 years ago
- Views:
Transcription
1 An Programming Language with Fixed-Logical Execution Time Semantics for Real-time Embedded Systems embedded systems perspectives and visions Dr. Marco A.A. Sanvido University of California at Berkeley EmSys Summer School Salzburg June 30 th July 2 th, 2003 This is a joint work with: A. Ghosal, Dr. C. Kirsch, Prof. T. Henzinger This work is funded by: GSRC, CHESS More info: www-cad.eecs.berkeley.edu/~xgiotto
2 Motivation Extending Giotto semantics for event-triggered systems Giotto is purely time-triggered A structured programming for E code Giotto generates only single-triggered E code (triggers only a timer) Functionality part of the Language Single stand-alone language EmSys Summer School 2
3 Safety Critical Embedded Systems: Avionics Number of displays in commercial airplane cockpits Complexity is to high, pilots unable to handle it! # of displays Wright flyer Concorde DC A320 D.A. Norman, The Invisible Computer, MIT Press,1999 EmSys Summer School 3
4 Embedded System Programming Number of language features Number of APIs? Complexity is to high, programmer is overloaded with information! Domain Specific Languages EmSys Summer School 4
5 Domain Specific Languages Advantages: Ultimate abstraction : capturing precisely the semantics of the application domain Disadvantages: Design and implementation is difficult Resist evolution Robert L. Grass, One Giant Step Backwards, Communication of the ACM, 46(5), pp 21-23, 2003 EmSys Summer School 5
6 Domain of the xgiotto Language Driven by interaction with environment The environment dictates the speed Limited resources The hardware imposes constraints Reliability Hard real-time constraints EmSys Summer School 6
7 The xgiotto Compiler Similar to RISC/CISC situation: Something to keep in mind while reading the paper was how lousy the compilers were of that generation. C programmers had to write the word register next to variables to try to get compilers to use registers. As a former Berkeley Ph.D. who started a small computer company said later, "people would accept any piece of junk you gave them, as long as the code worked." Part of the reason was simply the speed of processors and the size of memory, as programmers had limited patience on how long they were willing to wait for compilers. David A. Patterson and Carlo H. Séquin. Retrospective on RISC I. 25 years of the international symposia on Computer architecture (selected papers), 1998, p.25 EmSys Summer School 7
8 Outline Giotto key-aspects xgiotto key-aspects Fixed Logical Execution Time Semantics Conference Program Analysis Environment assumptions Race conditions detection Time Safety Program Classes Implementation Future Research Perspectives Related Work Questions EmSys Summer School 8
9 Giotto Key-Aspects Platform Independence ensures Predictability Time Determinism: The Giotto compiler chooses for a given platform a platform timeline that is value equivalent to the environment timeline defined by the Giotto semantics. Value Determinism: implies For a given time-triggered sequence of sensor readings, the corresponding time-triggered sequence of actuator settings is uniquely determined (i.e., there are no race conditions). EmSys Summer School 9
10 xgiotto Key-Aspects Platform Independence ensures Predictability Event Determinism: The xgiotto compiler chooses for a given platform a platform timeline that is value equivalent to the environment timeline defined by the xgiotto semantics. Value Determinism: implies For a given event-triggered sequence, the corresponding sequence of port values is uniquely determined EmSys Summer School 10
11 Giotto Timeline P2 P2 P1 period 1000 mode normal() period 1000 { taskfreq 1 do P1(getP1in); taskfreq 2 do P2(getP2in); } EmSys Summer School 11
12 Fixed Logical Execution Time fixed logical execution time P1 computation P1 invocation termination EmSys Summer School 12
13 Fixed Logical Execution Time fixed logical execution time P1 The platform will allocate the computation P1 P1 EmSys Summer School 13
14 xgiotto Fixed Logical Execution Time P1 P1 PORT INTEGER p; INTEGER q; EVENT INTEGER A AT X; p q TASK P1(INTEGER a) OUTPUT (INTEGER b){ b := b + 1; } TIMING T1() { P1(p)(q)[A]; } events A X X {[A]T1();} EmSys Summer School 14
15 xgiotto Timeline r p q p q p q r events A B EmSys Summer School 15
16 xgiotto Semantics Task Invocation: t(pi) (p0)[e]: When E arrives p0 is written with the evaluation of t (on the value of pi). Events: External events: generated externally by an interrupt. Completion events: internal events generated at the end of a task execution. Combined events: concatenation of event expressions. Reaction: (event, action) Timing reactions: action is an invocation of a block of xgiotto code. Deactivation reactions: action is removal of a timing reaction. Termination reactions: action is updating of output ports with the evaluation of task. EmSys Summer School 16
17 Example: A Conference PROGRAM conference { TYPE paper ARRAY 15 OF INTEGER; PORT paper p1; paper p2; EVENT INTEGER A AT CallForPaper; INTEGER D AT Deadline; TASK Writing (INTEGER pages, INTEGER seed) OUTPUT (paper p) VAR (INTEGER j) { j = 1; while (j < pages) {p[j] = MakeScience(seed); j++;} } TIMING Call() { Writing(15, 1)(p1)[D]; Writing(15, 2)(p2)[D]; [A]Call(); } {[A]Call()} } EmSys Summer School 17
18 Analysis Configuration Graph Port Abstract Reaction Graph Termination Reaction Graph Port Update Conflicts Adding Environment Assumption Time Safety EmSys Summer School 18
19 Configuration Graph p1 = 0, p2 = 0 U = {(start, conference)}; Y = f; W = f; p1 = 0, p2 = 0 U = {(A, Call)}; Y = f; W = f; start! A! Configuration: (port state, U timing reaction set, Y deactivation reaction set, termination reaction set) c = (p, tir, der, ter) size for propositional Program: 2 P x TI x U x 2 P P! T E p1 = 0, p2 = 0 U = f; Y = f; W = {(D, (p1, Writing, 15,1)), (D, (p2, Writing,15,2))}; D! p1 = Paper1, p2 = Paper2 U = f; Y = f; W = f; EmSys Summer School 19
20 xgiotto Graph Abstractions U = {(start, conference)}; Y = f; W = f; start! U = {(A, Call)}; Y = f; W = f; U = f; Y = f; W = f; Port State Abstracted Configuration Graph D! U = f; Y = f; W = {(D, (p1, Writing, 15,1)), (D, (p2, Writing,15,2))}; A! start! f A! D! Termination Reaction Graph {(D, (p1, Writing, 15,1)), (D, (p2, Writing,15,2))}; EmSys Summer School 20
21 Race Condition Detection (Port Update Conflict) Importance A port may be updated by multiple values at an instance Problem Definition Given a xgiotto program, the port update conflict verification returns the answer YES if the program is conflict free, NO otherwise Hardness The problem is PSPACE-complete for propositional xgiotto program Analysis Search on Termination Reaction Graph EmSys Summer School 21
22 Port Update Conflict Example PROGRAM Example { PORT BOOLEAN X1; BOOLEAN X2; EVENT BOOLEAN A AT interrupt1; BOOLEAN B AT interrupt2; BOOLEAN C AT interrupt3; TASK Inverter (BOOLEAN in) OUTPUT (BOOLEAN out) {out =!in; } TASK Buffer (BOOLEAN in) OUTPUT (BOOLEAN out) {out = in;} TIMING T1() { Inverter(FALSE)(X1)[A]; Inverter(TRUE)(X2)[B]; [C]T2(); } TIMING T2() { Inverter(TRUE)(X1)[A]; Buffer(TRUE)(X2)[B]; [C]T1(); } {[C]T1();} } EmSys Summer School 22
23 Port Update Conflict B! (B, (X2, BUF, T)) A! B! (A, (X1, INV, T)) A! (A, (X1, INV, T)), (B, (X2, BUF, T)) C! start! C! f (A, (X1, INV, F)), (B, (X2, INV, T)) B! (B, (X2, INV, T)) A! B! (A, (X1, INV, F)) A! C! C! (B, (X2, INV, T)) (A, (X1, INV, T)) (B, (X2, BUF,T)) (A, (X1, INV, F)) (A, (X1, INV, T)) (B, (X2, BUF,T)) EmSys Summer School 23
24 Environment Assumption Program Event time Automaton: Arrival of events and their time (simplified version of Alur-Dill Timed Automaton, i.e. one single clock, integer time) Reduction of Termination Reaction Graph Adding time information for Schedulability B,3! A,5! C,1! A,2! EmSys Summer School 24
25 Time Safety xgiotto: EXPTIME All Constant-FLET: P Acyclic Deadline Monotonic Giotto: P Earliest Deadline First EmSys Summer School 25
26 xgiotto Program Classes FLET xgiotto Constant-FLET Giotto EmSys Summer School 26
27 Implementation xgiotto FCode ECode FMachine decoupling: computation reaction scheduling OS (SMachine) + Platform EMachine EmSys Summer School 27
28 Related Works Giotto Esterel nesc (TinyOS) [The nesc Language: A Holistic Approach to Networked Embedded Systems, D. Gay, P. Levis, R. von Behren, M. Welsh, E. Brewer, D. Culler. In Proceedings of Programming Language Design and Implementation (PLDI) 2003, June ] EmSys Summer School 28
29 Future Research Opportunities More freedom for platform-dependent optimizations [LCTES03 papers!] Dynamic Voltage Scaling (DVS) Code size/speed/power Anytime scheduler [Real-Time Adaptive Resource Management for Advanced Avionics M. Agrawal, D. Cofer, and T. Samad, IEEE Control System Magazine, Feb 2003] Task able to deliver partial, but valid outputs EmSys Summer School 29
30 An Programming Language with Fixed-Logical Execution Time Semantics for Real-time Embedded Systems embedded systems perspectives and visions Dr. Marco A.A. Sanvido University of California at Berkeley EmSys Summer School Salzburg June 30 th July 2 th, 2003 This is a joint work with: A. Ghosal, Dr. C. Kirsch, Prof. T. Henzinger This work is funded by: GSRC, CHESS More info: www-cad.eecs.berkeley.edu/~xgiotto
Embedded Software Engineering
Embedded Software Engineering 3 Unit Course, Spring 2002 EECS Department, UC Berkeley Christoph Kirsch www.eecs.berkeley.edu/~fresco/giotto/course-2002 It s significant $4 billion development effort >
More informationEvent-driven Programming with Logical Execution Times
Event-driven Programming with Logical Execution Times Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. Kirsch, and Marco A.A. Sanvido University of California, Berkeley {arkadeb,tah,cm,msanvido}@eecs.berkeley.edu
More informationThe Embedded Machine
The Embedded Machine Predictable, Portable Real-Time Code PLDI 2002 Thomas A. Henzinger, Christoph M. Kirsch UC Berkeley www.eecs.berkeley.edu/~cm It s Tricky Mars, July 4, 1997 Lost contact due to embedded
More informationÜbersicht. Laufzeitumgebungen Fallstudie TinyOS
Übersicht Beispielanwendungen Sensor-Hardware und Netzarchitektur Herausforderungen und Methoden MAC-Layer-Fallstudie IEEE 802.15.4 Energieeffiziente MAC-Layer WSN-Programmierung Laufzeitumgebungen Fallstudie
More informationModeling with the Timing Definition Language (TDL)
Modeling with the Timing Definition Language (TDL) W. Pree, J. Templ Automotive Software Workshop San Diego (ASWSD 2006) on Model-Driven Development of Reliable Automotive Services San Diego, CA (USA)
More informationGiotto. Thomas A. Henzinger, Benjamin Horowitz, Christoph Kirsch. UC Berkeley
Giotto Thomas A. Henzinger, Benjamin Horowitz, Christoph Kirsch UC Berkeley www.eecs.berkeley.edu/~fresco/giotto Control Software Development Mathematical Model Platform Constraints e.g. Matlab/Simulink
More informationProgramming Languages for Real-Time Systems. LS 12, TU Dortmund
Programming Languages for Real-Time Systems Prof. Dr. Jian-Jia Chen LS 12, TU Dortmund 20 June 2016 Prof. Dr. Jian-Jia Chen (LS 12, TU Dortmund) 1 / 41 References Slides are based on Prof. Wang Yi, Prof.
More informationPrinciples of Real-Time Programming
Principles of Real-Time Programming Christoph M. Kirsch Department of Electrical Engineering and Computer Sciences University of California, Berkeley cm@eecs.berkeley.edu Abstract. Real-time programming
More informationTiming Definition Language (TDL) Concepts, Code Generation and Tools
Timing Definition Language (TDL) Concepts, Code Generation and Tools Wolfgang Pree Embedded Software & Systems Research Center Department of Computer Sciences Univ. Salzburg Overview Motivation Timing
More informationnesc Ø Programming language for TinyOS and applications Ø Support TinyOS components Ø Whole-program analysis at compile time Ø Static language
nesc Ø Programming language for TinyOS and applications Ø Support TinyOS components Ø Whole-program analysis at compile time q Improve robustness: detect race conditions q Optimization: function inlining
More informationSimulation of LET Models in Simulink and Ptolemy
Simulation of LET Models in Simulink and Ptolemy P. Derler, A. Naderlinger, W. Pree, S. Resmerita, J. Templ Monterey Workshop 2008, Budapest, Sept. 24-26, 2008 C. Doppler Laboratory Embedded Software Systems
More informationCOMPLEX EMBEDDED SYSTEMS
COMPLEX EMBEDDED SYSTEMS Embedded System Design and Architectures Summer Semester 2012 System and Software Engineering Prof. Dr.-Ing. Armin Zimmermann Contents System Design Phases Architecture of Embedded
More informationReasoning about Timed Systems Using Boolean Methods
Reasoning about Timed Systems Using Boolean Methods Sanjit A. Seshia EECS, UC Berkeley Joint work with Randal E. Bryant (CMU) Kenneth S. Stevens (Intel, now U. Utah) Timed System A system whose correctness
More informationA Preliminary Report on the Embedded Virtual Machine
A Preliminary Report on the Embedded Virtual Machine Arkadeb Ghosal, Marco A.A. Sanvido and Thomas A. Henzinger Report No. UCB//CSD-04-1322 May 2004 Computer Science Division (EECS) University of California
More informationA Solution Based on Modeling and Code Generation for Embedded Control System
J. Software Engineering & Applications, 2009, 2: 160-164 doi:10.4236/jsea.2009.23023 Published Online October 2009 (http://www.scirp.org/journal/jsea) A Solution Based on Modeling and Code Generation for
More informationVERIFICATION OF GIOTTO BASED EMBEDDED CONTROL SYSTEMS
Nordic Journal of Computing VERIFICATION OF GIOTTO BASED EMBEDDED CONTROL SYSTEMS RAJIV KUMAR PODDAR PURANDAR BHADURI Department of Computer Science and Engineering Indian Institute of Technology Guwahati,
More informationGiotto Domain. 5.1 Introduction. 5.2 Using Giotto. Edward Lee Christoph Kirsch
Chapter 5 from: C. Brooks, E. A. Lee, X. Liu, S. Neuendorffer, Y. Zhao, H. Zheng "Heterogeneous Concurrent Modeling and Design in Java (Volume 3: Ptolemy II Domains)," Technical Memorandum UCB/ERL M04/17,
More informationA VIRTUALLAB APPROACH FOR WIRELESS SENSOR MOTES AND WIRELESS SENSOR NETWORKS
A VIRTUALLAB APPROACH FOR WIRELESS SENSOR MOTES AND WIRELESS SENSOR NETWORKS Anghel V. CONŢIU, Adina ŢOPA, Vasile T. DĂDÂRLAT Technical University of Cluj-Napoca, Str. Ctin Daicoviciu nr. 15, 400027 Cluj-Napoca,
More informationTask Sequencing for Optimizing the Computation Cycle in a Timed Computation Model
Task Sequencing for Optimizing the Computation Cycle in a Timed Computation Model Sebastian Fischmeister and Guido Menkhaus, University of Salzburg, Austria Abstract Recent developments in embedded control
More informationIntroduction to Embedded Systems
Introduction to Embedded Systems Sanjit A. Seshia UC Berkeley EECS 9/9A Fall 0 008-0: E. A. Lee, A. L. Sangiovanni-Vincentelli, S. A. Seshia. All rights reserved. Chapter : Operating Systems, Microkernels,
More informationREAL TIME AND EMBEDDED SYSTEMS (M)
Friday 22 May 2009 9.30 am 11.00 am (Duration: 1 hour 30 minutes) DEGREES OF MSci, MEng, BEng, BSc, MA and MA (Social Sciences) REAL TIME AND EMBEDDED SYSTEMS (M) (Answer 3 out of 4 questions) This examination
More informationGroup Members: Chetan Fegade Nikhil Mascarenhas. Mentor: Dr. Yann Hang Lee
Group Members: Chetan Fegade Nikhil Mascarenhas Mentor: Dr. Yann Hang Lee 1. Introduction 2. TinyGALS programming model 3. TinyOS 4. NesC 5. Middleware 6. Conclusion 7. References 8. Q & A Event driven
More informationCapriccio: Scalable Threads for Internet Services
Capriccio: Scalable Threads for Internet Services Rob von Behren, Jeremy Condit, Feng Zhou, Geroge Necula and Eric Brewer University of California at Berkeley Presenter: Cong Lin Outline Part I Motivation
More informationDr. Ing. Cornelia Zahlten. Prof. Dr. Jan Peleska. Concepts and Implementation. Hard Real-Time Test Tools
Hard Real-Time Test Tools Concepts and Implementation Prof. Dr. Jan Peleska Centre for Computing Technologies, University of Bremen, Germany Dr. Ing. Cornelia Zahlten Verified Systems International GmbH,
More informationIn this presentation,...
Hard Real-Time Test Tools Concepts and Implementation Prof. Dr. Jan Peleska Centre for Computing Technologies, University of Bremen, Germany Dr. Ing. Cornelia Zahlten Verified Systems International GmbH,
More informationEstimation of worst case latency of periodic tasks in a real time distributed environment
Estimation of worst case latency of periodic tasks in a real time distributed environment 1 RAMESH BABU NIMMATOORI, 2 Dr. VINAY BABU A, 3 SRILATHA C * 1 Research Scholar, Department of CSE, JNTUH, Hyderabad,
More informationThe Logical Execution Time Paradigm
The Logical Execution Time Paradigm Christoph M. Kirsch and Ana Sokolova Abstract Since its introduction in 2000 in the time-triggered programming language Giotto, the Logical Execution Time (LET) paradigm
More informationThe Embedded Machine: Predictable, Portable Real-Time Code
The Embedded Machine: Predictable, Portable Real-Time Code Thomas A. Henzinger EECS, University of California, Berkeley tah@eecs.berkeley.edu Christoph M. Kirsch EECS, University of California, Berkeley
More informationAdvanced Tool Architectures. Edited and Presented by Edward A. Lee, Co-PI UC Berkeley. Tool Projects. Chess Review May 10, 2004 Berkeley, CA
Advanced Tool Architectures Edited and Presented by Edward A. Lee, Co-PI UC Berkeley Chess Review May 10, 2004 Berkeley, CA Tool Projects Concurrent model-based design Giotto (Henzinger) E machine & S
More informationExperimental Node Failure Analysis in WSNs
Experimental Node Failure Analysis in WSNs Jozef Kenyeres 1.2, Martin Kenyeres 2, Markus Rupp 1 1) Vienna University of Technology, Institute of Communications, Vienna, Austria 2) Slovak University of
More informationGiotto Tutorial. Forward:
Giotto Tutorial M.A.A. Sanvido and Aaron Walburg Memorandum No. UCB/ERL M04/30, August 14, 2004, EECS Department, University of California at Berkeley, Berkeley, CA 94720, U.S.A Forward: The Giotto 1 Development
More informationFrom Control Models to Real-Time Code Using Giotto. Thomas A. Henzinger, Christoph M. Kirsch, Marco A.A. Sanvido, and Wolfgang Pree
From Control Models to Real-Time Code Using Giotto Thomas A. Henzinger, Christoph M. Kirsch, Marco A.A. Sanvido, and Wolfgang Pree 1 Thomas A. Henzinger Christoph M. Kirsch Marco A.A. Sanvido Department
More informationA Programmable Microkernel for Real-Time Systems
A Programmable Microkernel for Real- Systems Christoph M. Kirsch University of Salzburg ck@cs.uni-salzburg.at Marco A.A. Sanvido VMWare Inc. Thomas A. Henzinger EPFL and UC Berkeley tah@epfl.ch ABSTRACT
More informationIntegrating Concurrency Control and Energy Management in Device Drivers. Chenyang Lu
Integrating Concurrency Control and Energy Management in Device Drivers Chenyang Lu Overview Ø Concurrency Control: q Concurrency of I/O operations alone, not of threads in general q Synchronous vs. Asynchronous
More informationIntegrating Concurrency Control and Energy Management in Device Drivers
Integrating Concurrency Control and Energy Management in Device Drivers Kevin Klues, Vlado Handziski, Chenyang Lu, Adam Wolisz, David Culler, David Gay, and Philip Levis Overview Concurrency Control: Concurrency
More informationService-Based Universal Application Interface for Demand Response Energy Systems (UC Berkeley Project)
Service-Based Universal Application Interface for Demand Response Energy Systems (UC Berkeley Project) Goal: Develop and demonstrate an application development environment for a scalable and extendible
More informationSource EE 4770 Lecture Transparency. Formatted 16:43, 30 April 1998 from lsli
17-3 17-3 Rate Monotonic Priority Assignment (RMPA) Method for assigning priorities with goal of meeting deadlines. Rate monotonic priority assignment does not guarantee deadlines will be met. A pure periodic
More informationPlatform Based Design of Unmanned Aerial Vehicles
Platform Based Design of Unmanned Aerial Vehicles EE249 Class Project, Fall 2001 By Judy Liebman and Cedric Ma Abstract This project combines design philosophies from three different areas: embedded systems
More informationEVENT DRIVEN SENSOR SYSTEMS
EVENT DRIVEN SENSOR SYSTEMS GROUP MEMBERS > 1. CHETAN FEGADE 1205166348 2. NIKHIL MASCARENHAS 1204752753 MENTOR > Dr. YANN-HANG LEE Submitted on December 11, 2012 2 INDEX 1. Introduction 3 2. TinyOS...
More informationOperating Systems. Operating Systems Summer 2017 Sina Meraji U of T
Operating Systems Operating Systems Summer 2017 Sina Meraji U of T More Special Instructions Swap (or Exchange) instruction Operates on two words atomically Can also be used to solve critical section problem
More informationApplied Formal Methods - From CSP to Executable Hybrid Specifications
Applied Formal Methods - From CSP to Executable Hybrid Specifications Jan Peleska Technologie-Zentrum Informatik TZI, Universität Bremen and Verified Systems International GmbH, jp@verified.de Overview
More informationLogical Reliability of Interacting Real-Time Tasks
Logical Reliability of Interacting Real-Time Tasks Krishnendu Chatterjee UC Berkeley c krish@eecs.berkeley.edu Daniel Iercan Politehnica U. of Timisoara daniel.iercan@aut.upt.ro Arkadeb Ghosal UC Berkeley
More informationChapter 2. OS Overview
Operating System Chapter 2. OS Overview Lynn Choi School of Electrical Engineering Class Information Lecturer Prof. Lynn Choi, School of Electrical Eng. Phone: 3290-3249, Kong-Hak-Kwan 411, lchoi@korea.ac.kr,
More informationWhat are Embedded Systems? Lecture 1 Introduction to Embedded Systems & Software
What are Embedded Systems? 1 Lecture 1 Introduction to Embedded Systems & Software Roopa Rangaswami October 9, 2002 Embedded systems are computer systems that monitor, respond to, or control an external
More informationEMBEDDED SOFTWARE DESIGN AND SYSTEM INTEGRATION FOR ROTORCRAFT UAV USING PLATFORMS 1. EECS, University of California, Berkeley
EMBEDDED SOFTWARE DESIGN AND SYSTEM INTEGRATION FOR ROTORCRAFT UAV USING PLATFORMS 1 Benjamin Horowitz Judith Liebman Cedric Ma T. John Koo Thomas A. Henzinger Alberto Sangiovanni-Vincentelli Shankar Sastry
More informationAirTight: A Resilient Wireless Communication Protocol for Mixed- Criticality Systems
AirTight: A Resilient Wireless Communication Protocol for Mixed- Criticality Systems Alan Burns, James Harbin, Leandro Indrusiak, Iain Bate, Robert Davis and David Griffin Real-Time Systems Research Group
More informationDesigning a Compositional Real-Time Operating System. Christoph Kirsch Universität Salzburg
Designing a Compositional Real-Time Operating System Christoph Kirsch Universität Salzburg ARTIST Summer School Shanghai July 2008 tiptoe.cs.uni-salzburg.at # Silviu Craciunas* (Programming Model) Hannes
More informationA Deterministic Concurrent Language for Embedded Systems
A Deterministic Concurrent Language for Embedded Systems Stephen A. Edwards Columbia University Joint work with Olivier Tardieu SHIM:A Deterministic Concurrent Language for Embedded Systems p. 1/38 Definition
More informationTrust and Energy-aware Routing Protocol for Wireless Sensor Networks
Trust and Energy-aware Routing Protocol for Wireless Sensor Networks Laura Gheorghe, Răzvan Rughiniș, Nicolae Țăpuș Department of Computer Science and Engineering University Politehnica of Bucharest Bucharest,
More informationTransparent Distribution of TDL Modules
Transparent Distribution of TDL Modules E. Coste, C. Farcas, W. Pree and J. Templ Department of Computer Science University of Salzburg Austria Technical Report T005 April 2005 http://cs.uni-salzburg.at/pubs/reports/t005.pdf
More informationCommunication in ad hoc networks Or: CORBA considered harmful
Communication in ad hoc networks Or: CORBA considered harmful S. Lakin, S. Mount, R. Newman Cogent Computing, School of Mathematical and Information Sciences Coventry University, Priory Street, Coventry,
More informationComputer Hardware Requirements for Real-Time Applications
Lecture (4) Computer Hardware Requirements for Real-Time Applications Prof. Kasim M. Al-Aubidy Computer Engineering Department Philadelphia University Real-Time Systems, Prof. Kasim Al-Aubidy 1 Lecture
More informationScalable Program Verification by Lazy Abstraction
Scalable Program Verification by Lazy Abstraction Ranjit Jhala U.C. Berkeley ars, July, 997 Lost contact due to real-time priority inversion bug ars, December, 999 Crashed due to uninitialized variable
More informationDavid DeFlyer Class notes CS162 January 26 th, 2009
1. Class opening: 1. Handed out ACM membership information 2. Review of last lecture: 1. operating systems were something of an ad hoc component 2. in the 1960s IBM tried to produce a OS for all customers
More informationAn Introduction to UPPAAL. Purandar Bhaduri Dept. of CSE IIT Guwahati
An Introduction to UPPAAL Purandar Bhaduri Dept. of CSE IIT Guwahati Email: pbhaduri@iitg.ernet.in OUTLINE Introduction Timed Automata UPPAAL Example: Train Gate Example: Task Scheduling Introduction UPPAAL:
More informationIntroduction to Real-time Systems. Advanced Operating Systems (M) Lecture 2
Introduction to Real-time Systems Advanced Operating Systems (M) Lecture 2 Introduction to Real-time Systems Real-time systems deliver services while meeting some timing constraints Not necessarily fast,
More informationConfiguration Guideline for CANopen Networks
Configuration Guideline for CANopen Networks Martin Rostan, Beckhoff Unlike most other fieldbus systems, CANopen provides many degrees of freedom to configure the communication behaviour of the network.
More informationA Deterministic Concurrent Language for Embedded Systems
A Deterministic Concurrent Language for Embedded Systems Stephen A. Edwards Columbia University Joint work with Olivier Tardieu SHIM:A Deterministic Concurrent Language for Embedded Systems p. 1/30 Definition
More informationOn-the-Fly Data Race Detection in MPI One-Sided Communication
On-the-Fly Data Race Detection in MPI One-Sided Communication Presentation Master Thesis Simon Schwitanski (schwitanski@itc.rwth-aachen.de) Joachim Protze (protze@itc.rwth-aachen.de) Prof. Dr. Matthias
More informationnesc Prof. Chenyang Lu How should network msg be handled? Too much memory for buffering and threads
nesc Prof. Chenyang Lu CSE 521S 1 How should network msg be handled? Socket/TCP/IP? Too much memory for buffering and threads Data buffered in network stack until application threads read it Application
More informationgalsc: A Language for Event-Driven Embedded Systems
galsc: A Language for Event-Driven Embedded Systems Elaine Cheong Department of EECS University of California, Berkeley Berkeley, CA 94720 celaine@eecs.berkeley.edu Jie Liu Microsoft Research One Microsoft
More informationModel-based Analysis of Event-driven Distributed Real-time Embedded Systems
Model-based Analysis of Event-driven Distributed Real-time Embedded Systems Gabor Madl Committee Chancellor s Professor Nikil Dutt (Chair) Professor Tony Givargis Professor Ian Harris University of California,
More informationSchedule Integration for Time-Triggered Systems
Schedule Integration for Time-Triggered Systems Outline Motivation Automotive software Automotive architectures Integration Challenge Time-triggered automotive systems Sychronization Schedule Integration
More informationStatic Analysis of Embedded C
Static Analysis of Embedded C John Regehr University of Utah Joint work with Nathan Cooprider Motivating Platform: TinyOS Embedded software for wireless sensor network nodes Has lots of SW components for
More informationDomain-Specific Languages for Wireless Sensor Networks
Domain-Specific Languages for Wireless Sensor Networks Daniel A. Sadilek Humboldt-Universität zu Berlin Institute for Computer Science Rudower Chaussee 25 12489 Berlin, Germany sadilek@informatik.hu-berlin.de
More informationSystem-level co-modeling AADL and Simulink specifications using Polychrony (and Syndex)
System-level co-modeling AADL and Simulink specifications using Polychrony (and Syndex) AADL Standards Meeting June 6., 2011 Jean-Pierre Talpin, INRIA Parts of this presentation are joint work with Paul,
More informationFMCAD 2011 (Austin, Texas) Jonathan Kotker, Dorsa Sadigh, Sanjit Seshia University of California, Berkeley
FMCAD 2011 (Austin, Texas) Jonathan Kotker, Dorsa Sadigh, Sanjit Seshia University of California, Berkeley 1 Cyber-Physical = Computation + Physical Processes Quantitative analysis of programs is crucial:
More informationThe Embedded Systems Design Challenge. EPFL Verimag
The Embedded Systems Design Challenge Tom Henzinger Joseph Sifakis EPFL Verimag Formal Methods: A Tale of Two Cultures Engineering Computer Science Differential Equations Linear Algebra Probability Theory
More informationMinimization of NBTI Performance Degradation Using Internal Node Control
Minimization of NBTI Performance Degradation Using Internal Node Control David R. Bild, Gregory E. Bok, and Robert P. Dick Department of EECS Nico Trading University of Michigan 3 S. Wacker Drive, Suite
More informationToward A Codelet Based Execution Model and Its Memory Semantics
Toward A Codelet Based Execution Model and Its Memory Semantics -- For Future Extreme-Scale Computing Systems HPC Worshop Centraro, Italy June 20, 2012 Guang R. Gao ACM Fellow and IEEE Fellow Distinguished
More informationIntroduction to Lab 2
Introduction to Lab 2 Programming LEGO Mindstorms NXT using Ada Jakaria Abdullah 12 September 2016 Jakaria Abdullah Lab 2: LEGO 12 September 2016 1 / 25 Lab 2: Programming LEGO Mindstorms using Ada Lab
More informationInvestigation of System Timing Concerns in Embedded Systems: Tool-based Analysis of AADL Models
Investigation of System Timing Concerns in Embedded Systems: Tool-based Analysis of AADL Models Peter Feiler Software Engineering Institute phf@sei.cmu.edu 412-268-7790 2004 by Carnegie Mellon University
More informationTesting. Lydie du Bousquet, Ioannis Parissis. TAROT Summer School July (TAROT 2009)
Testing TAROT Summer School Lustre/SCADE programs 2009 - July 6-10 Lydie du Bousquet, Ioannis Parissis 1 (TAROT 2009) Synchrone Scade/Lustre Siesta Issues 2 Synchronous / safety-critical software control/command
More informationTinyOS: An Operating System for Wireless Sensor Networks
IJCST Vo l. 6, Is s u e 1, Ja n - Ma r c h 2015 ISSN : 0976-8491 (Online) ISSN : 2229-4333 (Print) TinyOS: An Operating System for Wireless Sensor Networks Praveen Budhwar Dept. of Computer Science and
More informationProgram Representations for Testing Wireless Sensor Network Applications
Program Representations for Testing Wireless Sensor Network Applications Nguyet T.M. Nguyen Department of Computer Science University of Virginia ntn3a@cs.virginia.edu Mary Lou Soffa Department of Computer
More informationTOSSIM simulation of wireless sensor network serving as hardware platform for Hopfield neural net configured for max independent set
Available online at www.sciencedirect.com Procedia Computer Science 6 (2011) 408 412 Complex Adaptive Systems, Volume 1 Cihan H. Dagli, Editor in Chief Conference Organized by Missouri University of Science
More informationCSE398: Network Systems Design
CSE398: Network Systems Design Instructor: Dr. Liang Cheng Department of Computer Science and Engineering P.C. Rossin College of Engineering & Applied Science Lehigh University February 23, 2005 Outline
More informationNesJ: a translator for Java to NesC
NesJ: a translator for Java to NesC Jiannan Zhai, Luyao Cheng School of Computing, Clemson University Email: {jzhai, luyaoc}@clemson.edu Abstract Most sensor network research is based on how to program
More informationAN O/S PERSPECTIVE ON NETWORKS Adem Efe Gencer 1. October 4 th, Department of Computer Science, Cornell University
AN O/S PERSPECTIVE ON NETWORKS Adem Efe Gencer 1 October 4 th, 2012 1 Department of Computer Science, Cornell University Papers 2 Active Messages: A Mechanism for Integrated Communication and Control,
More informationHierarchical Timing Language
Hierarchical Timing Language Arkadeb Ghosal Thomas A. Henzinger Daniel Iercan Christoph Kirsch Alberto L. Sangiovanni-Vincentelli Electrical Engineering and Computer Sciences University of California at
More informationSmartNet Pilots: The demonstration of the different TSO-DSO coordination schemes and market structures
Smart TSO-DSO interaction schemes, market architectures and ICT Solutions for the integration of ancillary services from demand side management and distributed generation The Global Forum Electricity Ancillary
More informationThe Case for the Precision Timed (PRET) Machine
The Case for the Precision Timed (PRET) Machine Stephen Edwards Edward A. Lee Electrical Engineering and Computer Sciences University of California at Berkeley Technical Report No. UCB/EECS-2006-149 http://www.eecs.berkeley.edu/pubs/techrpts/2006/eecs-2006-149.html
More informationTowards a Resilient Operating System for Wireless Sensor Networks
Towards a Resilient Operating System for Wireless Sensor Networks Hyoseung Kim Hojung Cha Yonsei University, Korea 2006. 6. 1. Hyoseung Kim hskim@cs.yonsei.ac.kr Motivation (1) Problems: Application errors
More informationGraphical System Design. David Fuller LabVIEW R&D Section Manager
Graphical System Design David Fuller LabVIEW R&D Section Manager Agenda Visions Demo Order & time National Instruments Confidential 2 Virtual Instrumentation National Instruments Confidential 3 Virtual
More informationImpact of Platform Abstractions on the Development Workflow
Impact of Platform Abstractions on the Development Workflow Johannes Pletzer, Wolfgang Pree Technical Report September 7, 2009 C. Doppler Laboratory Embedded Software Systems University of Salzburg Austria
More informationThe Emergence of Networking Abstractions and Techniques in TinyOS
The Emergence of Networking Abstractions and Techniques in TinyOS Sam Madden MIT CSAIL madden@csail.mit.edu With Phil Levis, David Gay, Joe Polastre, Rob Szewczyk, Alec Woo, Eric Brewer, and David Culler
More informationMicrokernel/OS and Real-Time Scheduling
Chapter 12 Microkernel/OS and Real-Time Scheduling Hongwei Zhang http://www.cs.wayne.edu/~hzhang/ Ack.: this lecture is prepared in part based on slides of Lee, Sangiovanni-Vincentelli, Seshia. Outline
More informationHandling Challenges of Multi-Core Technology in Automotive Software Engineering
Model Based Development Tools for Embedded Multi-Core Systems Handling Challenges of Multi-Core Technology in Automotive Software Engineering VECTOR INDIA CONFERENCE 2017 Timing-Architects Embedded Systems
More informationScheduling Multi-Mode Real-Time Distributed Components
Scheduling Multi-Mode Real-Time Distributed Components Dipl.-Ing. Emilia Fărcaş Department of Computer Sciences University of Salzburg A dissertation submitted for the degree of Doctor technicae (Dr. techn.)
More informationECE 3055: Final Exam
ECE 3055: Final Exam Instructions: You have 2 hours and 50 minutes to complete this quiz. The quiz is closed book and closed notes, except for one 8.5 x 11 sheet. No calculators are allowed. Multiple Choice
More informationPlatform-Based Embedded Software Design for Multi-Vehicle Multi-Modal Systems
Platform-Based Embedded Software Design for Multi-Vehicle Multi-Modal Systems T. John Koo, Judith Liebman, Cedric Ma, Benjamin Horowitz, Alberto Sangiovanni-Vincentelli, Shankar Sastry Department of Electrical
More informationWhat s an Operating System? Real-Time Operating Systems. Cyclic Executive. Do I Need One? Handling an Interrupt. Interrupts
What s an Operating System? Real-Time Operating Systems Provides environment for executing programs Prof. Stephen A. Edwards Process abstraction for multitasking/concurrency Scheduling Hardware abstraction
More informationNew RF Models of the TinyOS Simulator for IEEE Standard
New RF Models of the TinyOS Simulator for IEEE 82.15.4 Standard Changsu Suh, Jung-Eun Joung and Young-Bae Ko R & D Departments, Hanback Electronics Company, Daejeon, Republic of Korea College of Information
More informationReal-Time Component Software. slide credits: H. Kopetz, P. Puschner
Real-Time Component Software slide credits: H. Kopetz, P. Puschner Overview OS services Task Structure Task Interaction Input/Output Error Detection 2 Operating System and Middleware Application Software
More informationHybrid System Modeling: Operational Semantics Issues
Hybrid System Modeling: Operational Semantics Issues Edward A. Lee Professor UC Berkeley OMG Technical Meeting Feb. 4, 2004 Anaheim, CA, USA Special thanks to Jie Liu, Xiaojun Liu, Steve Neuendorffer,
More informationComposable Code Generation for Distributed Giotto
Composable Code Generation for Distributed Giotto Thomas A. Henzinger EPFL and UC Berkeley tah@epfl.ch Christoph M. Kirsch University of Salzburg ck@cs.uni-salzburg.at Slobodan Matic University of California,
More informationDebugging Wireless Sensor Network Simulations
Distributed Computing Debugging Wireless Sensor Network Simulations Semester Thesis Richard Huber rihuber@ee.ethz.ch Distributed Computing Group Computer Engineering and Networks Laboratory ETH Zürich
More informationA Timed Multitasking Architecture for Distributed Embedded Systems
A Timed Multitasking Architecture for Distributed Embedded Systems Christo Angelov Mads Clausen Institute for Product Innovation University of Southern Denmark Grundtvigs Alle 150, 6400 Soenderborg, Denmark
More informationPrecision Timed (PRET) Machines
Precision Timed (PRET) Machines Edward A. Lee Robert S. Pepper Distinguished Professor UC Berkeley BWRC Open House, Berkeley, CA February, 2012 Key Collaborators on work shown here: Steven Edwards Jeff
More informationIT 540 Operating Systems ECE519 Advanced Operating Systems
IT 540 Operating Systems ECE519 Advanced Operating Systems Prof. Dr. Hasan Hüseyin BALIK (5 th Week) (Advanced) Operating Systems 5. Concurrency: Mutual Exclusion and Synchronization 5. Outline Principles
More information