On understanding types, data abstraction, and polymorphism
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Algorithms for Scheduling Imprecise Computations
Computer - Special issue on real-time systems
Maintaining knowledge about temporal intervals
Communications of the ACM
The ESTEREL Synchronous Programming Language and its Mathematical Semantics
Seminar on Concurrency, Carnegie-Mellon University
Compiling real-time programs into schedulable code
PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
A bibliography on garbage collection and related topics
ACM SIGPLAN Notices
Mechanisms for detecting and handling timing errors
Communications of the ACM
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automated Meta-Control for Adaptable Real-Time Software
Real-Time Systems
The Spring System: Integrated Support for Complex Real-TimeSystems
Real-Time Systems
IEEE Transactions on Software Engineering
Dedos: A Distributed Real-Time Environment
IEEE Parallel & Distributed Technology: Systems & Technology
Measuring and Analyzing Real-Time Performance
IEEE Software
Issues in Building Dynamic Real-Time Systems
IEEE Software
Compiler Support for Object-Oriented Real-Time Software
IEEE Software
Schema Evolution of an Object-Oriented Real-Time Database System for Manufacturing Automation
IEEE Transactions on Knowledge and Data Engineering
Compiling Real-Time Programs With Timing Constraint Refinement and Structural Code Motion
IEEE Transactions on Software Engineering
ICN '01 Proceedings of the First International Conference on Networking-Part 1
Scheduling Algorithms for Real-Time Agent Systems
RIDE '96 Proceedings of the 6th International Workshop on Research Issues in Data Engineering (RIDE '96) Interoperability of Nontraditional Database Systems
Constructing distributed real-time systems with DROL real-time objects
RTCSA '95 Proceedings of the 2nd International Workshop on Real-Time Computing Systems and Applications
A hierarchical coordination language for interacting real-time tasks
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
A formal specification strategy for electronic commerce
IDEAS'97 Proceedings of the 1997 international conference on International database engineering and applications symposium
Hi-index | 0.02 |
The design and implementation of a real-time programming language called Flex, which is a derivative of C++, are presented. It is shown how different types of timing requirements might be expressed and enforced in Flex, how they might be fulfilled in a flexible way using different program models, and how the programming environment can help in making binding and scheduling decisions. The timing constraint primitives in Flex are easy to use yet powerful enough to define both independent and relative timing constraints. Program models like imprecise computation and performance polymorphism can carry out flexible real-time programs. In addition, programmers can use a performance measurement tool that produces statistically correct timing models to predict the expected execution time of a program and to help make binding decisions. A real-time programming environment is also presented.