Synchronous programming with events and relations: the SIGNAL language and its semantics
Science of Computer Programming
The design of real-time systems: from specification to implementation and verification
Software Engineering Journal - Special issue on real-time software
Holistic schedulability analysis for distributed hard real-time systems
Microprocessing and Microprogramming - Parallel processing in embedded real-time systems
Proof, language, and interaction
Real-Time Systems: Design Principles for Distributed Embedded Applications
Real-Time Systems: Design Principles for Distributed Embedded Applications
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
Masaccio: A Formal Model for Embedded Components
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
MetaH Support for Real-Time Multi-Processor Avionics
WPDRTS '97 Proceedings of the 1997 Joint Workshop on Parallel and Distributed Real-Time Systems (WPDRTS / OORTS '97)
A Survey of Architecture Description Languages
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
The Embedded Machine
Process Scheduling for Performance Estimation and Synthesis of Hardware/Software Systems
EUROMICRO '98 Proceedings of the 24th Conference on EUROMICRO - Volume 1
The embedded machine: predictable, portable real-time code
PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Model-Based Development of Embedded Systems
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
A Giotto-Based Helicopter Control System
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Time-Safety Checking for Embedded Programs
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
An Overview of Formal Verification for the Time-Triggered Architecture
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
From Models to Code: The Missing Link in Embedded Software
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Principles of Real-Time Programming
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
Generating embedded software from hierarchical hybrid models
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
Real Time Scheduling Theory: A Historical Perspective
Real-Time Systems
Transparent distribution of real-time components based on logical execution time
LCTES '05 Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Real-time component integration based on transparent distribution
SEAS '05 Proceedings of the second international workshop on Software engineering for automotive systems
High-level real-time programming in Java
Proceedings of the 5th ACM international conference on Embedded software
Translating discrete-time simulink to lustre
ACM Transactions on Embedded Computing Systems (TECS)
Actor-oriented models for codesign: balancing re-use and performance
Formal methods and models for system design
Modeling real-world control systems: beyond hybrid systems
WSC '04 Proceedings of the 36th conference on Winter simulation
Research trends in real-time computing for embedded systems
ACM SIGBED Review - Special issue on major international initiatives on real-time and embedded systems
Time-triggered implementations of dynamic controllers
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
A hierarchical coordination language for interacting real-time tasks
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Communication by sampling in time-sensitive distributed systems
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Incremental schedulability analysis of hierarchical real-time components
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Control-scheduling codesign of real-time systems: The control server approach
Journal of Embedded Computing - Real-Time Systems (Euromicro RTS-03)
Java takes flight: time-portable real-time programming with exotasks
Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Analyzing the real-time behaviour of deeply embedded event driven systems
Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
The case for the precision timed (PRET) machine
Proceedings of the 44th annual Design Automation Conference
Performance estimation of distributed real-time embedded systems by discrete event simulations
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Some succinctness properties of Ω-DTAFA
SEPADS'06 Proceedings of the 5th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Logical reliability of interacting real-time tasks
Proceedings of the conference on Design, automation and test in Europe
Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions
FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
Predictable programming on a precision timed architecture
CASES '08 Proceedings of the 2008 international conference on Compilers, architectures and synthesis for embedded systems
Communications of the ACM - Security in the Browser
Models in Software Engineering
PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software
RSP '09 Proceedings of the 2009 IEEE/IFIP International Symposium on Rapid System Prototyping
Analyzing Real-Time Event-Driven Programs
FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness
DS-RT '09 Proceedings of the 2009 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications
Case Study: Model Transformations for Time-triggered Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
A real-time profile for UML and how to adapt it to SDL
SDL'03 Proceedings of the 11th international conference on System design
Toward flexible scheduling of real-time control tasks: reviewing basic control models
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Reinventing computing for real time
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
A disruptive computer design idea: architectures with repeatable timing
ICCD'09 Proceedings of the 2009 IEEE international conference on Computer design
REMES tool-chain: a set of integrated tools for behavioral modeling and analysis of embedded systems
Proceedings of the IEEE/ACM international conference on Automated software engineering
Resource adaptations with servers for hard real-time systems
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Disciplined heterogeneous modeling
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Model-checking temporal properties of real-time HTL programs
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Design choices for high-confidence distributed real-time software
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Multi-task Implementation of Multi-periodic Synchronous Programs
Discrete Event Dynamic Systems
Migration of legacy software towards correct-by-construction timing behavior
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Implementation of timed automata: an issue of semantics or modeling?
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Embedded Systems Design
Embedded Systems Design
Operational semantics of hybrid systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
The zerberus language: describing the functional model of dependable real-time systems
LADC'05 Proceedings of the Second Latin-American conference on Dependable Computing
The evolution of real-time programming revisited: programming the giotto model in ada 2005
Ada-Europe'10 Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies
Component-Based Software Development for Embedded Systems
Bus scheduling for TDL components
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Towards mode switch handling in component-based multi-mode systems
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
On the schedulability of real-time discrete-event systems
Proceedings of the Eleventh ACM International Conference on Embedded Software
Journal of Systems Architecture: the EUROMICRO Journal
Hard Real-Time Implementation of a Nonlinear Controller for the Quadrotor Helicopter
Journal of Intelligent and Robotic Systems
Information and Computation
| Hi-index | 0.00 |
Giotto provides an abstract programmer's model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic software tasks together with a mode switching logic for enabling and disabling tasks. Giotto specifies time-triggered sensor readings, task invocations, and mode switches independent of any implementation platform. Giotto can be annotated with platform constraints such as task-to-host mappings, and task and communication schedules. The annotations are directives for the Giotto compiler, but they do not alter the functionality and timing of a Giotto program. By separating the platform-independent from the platform-dependent concerns, Giotto enables a great deal of flexibility in choosing control platforms as well as a great deal of automation in the validation and synthesis of control software. The time-triggered nature of Giotto achieves timing predictability, which makes Giotto particularly suitable for safety-critical applications.