The embedded machine: predictable, portable real-time code
PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
ACM SIGAda Ada Letters - Exception handling for a 21st century programming language proceedings
Components for embedded software: the PECOS approach
CASES '02 Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems
Hardware implementation of the Ravenscar Ada tasking profile
CASES '02 Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems
Ravenscar-Java: a high integrity profile for real-time Java
JGI '02 Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande
An approach to schedulability analysis of UML-based real-time systems design
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Precise response time analysis for Ravenscar kernels
IRTAW '02 Proceedings of the 11th international workshop on Real-time Ada workshop
Dynamic- and Static-priority Scheduling of Recurring Real-time Tasks
Real-Time Systems
The Timely Computing Base Model and Architecture
IEEE Transactions on Computers
Real time simulation framework for RT-DEVS models
Transactions of the Society for Computer Simulation International - Recent advances in DEVS methodology--part II
Defining New Non-preemptive Dispatching and Locking Policies for Ada
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Reflective Real-Time Object-Oriented Programming and Systems: Introduction to the ECOOP Workshop
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Automatic synthesis of a subclass of schedulers in timed systems
Theoretical Computer Science - Australasian computer science
Response Time Analysis of Asynchronous Real-Time Systems
Real-Time Systems
The Valid Use of Utility in Adaptive Real-Time Systems
Real-Time Systems
Hume: a domain-specific language for real-time embedded systems
Proceedings of the 2nd international conference on Generative programming and component engineering
An Analysable Bus-Guardian for Event-Triggered Communication
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
A practical comparison between Java and Ada in implementing a real-time embedded system
Proceedings of the 2003 annual ACM SIGAda international conference on Ada: the engineering of correct and reliable software for real-time & distributed systems using ada and related technologies
Is Java augmented with the RTSJ a better real-time systems implementation technology than Ada 95?
IRTAW '03 Proceedings of the 12th international workshop on Real-time Ada
Execution-time clocks and Ravenscar kernels
IRTAW '03 Proceedings of the 12th international workshop on Real-time Ada
Raising motivation in real-time laboratories: the soccer scenario
Proceedings of the 35th SIGCSE technical symposium on Computer science education
Improving resource utilization for MPEG decoding in embedded end-devices
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
Guide for the use of the Ada Ravenscar Profile in high integrity systems
ACM SIGAda Ada Letters
Task scheduling for heterogeneous reconfigurable computers
SBCCI '04 Proceedings of the 17th symposium on Integrated circuits and system design
Deadline Analysis of Interrupt-Driven Software
IEEE Transactions on Software Engineering
On the dynamic semantics and the timing behavior of Ravenscar kernels
Real-Time Systems
Strategies for the integration of hardware and software IP components in embedded systems-on-chip
Integration, the VLSI Journal - Special issue: IP and design reuse
We've been working on the railroad: a laboratory for real-time embedded systems
Proceedings of the 36th SIGCSE technical symposium on Computer science education
A selection mechanism based upon the explicit expression of preference
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Run-time analysis of time-critical systems
Journal of Systems Architecture: the EUROMICRO Journal
Undergraduate embedded system education at Carnegie Mellon
ACM Transactions on Embedded Computing Systems (TECS)
A comparison of CORBA and ada's distributed systems annex
Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Experiences with component-oriented technologies in nuclear power plant simulators
Software—Practice & Experience
A Ravenscar-Java profile implementation
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Safety critical applications and hard real-time profile for Java: a case study in avionics
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Software, regulation, and domain specificity
Information and Software Technology
Exceptions in a Programmable Logic Controller implementation based on ADA
Computers in Industry
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
Automated Testing of Timeliness: A Case Study
AST '07 Proceedings of the Second International Workshop on Automation of Software Test
The implementation of the Priority Ceiling Protocol in Ada-2005
ACM SIGAda Ada Letters
The embedded machine: Predictable, portable real-time code
ACM Transactions on Programming Languages and Systems (TOPLAS)
ERLANG '07 Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop
Building high-integrity distributed systems with Ravenscar restrictions
IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
Implementing the new Ada 2005 real-time features on a bare board kernel
IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
Real-time digital filters for SISO linear stochastic systems
ISCGAV'05 Proceedings of the 5th WSEAS International Conference on Signal Processing, Computational Geometry & Artificial Vision
Applying Unifying Theories Of Programming To Real-Time Programming
Journal of Integrated Design & Process Science - Applications of formal methods
On the Timed Automata-Based Verification of Ravenscar Systems
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Operational Semantics of Ada Ravenscar
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Model-based schedulability analysis of safety critical hard real-time Java programs
JTRES '08 Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems
Flexible hard real-time scheduling for deliberative AI systems
Real-Time Systems
Ada and software engineering education: one professor's experiences
Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference
Anima: a Ada derived programming language for real-time embedded software development
Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference
Designing reliable real-time concurrent object-oriented software systems
Proceedings of the 2009 ACM symposium on Applied Computing
Practical experience teaching embedded systems
ACM SIGBED Review
TCPN-Based Tool for Timing Constraints Modelling and Validation
Proceedings of the 2005 conference on Software Engineering: Evolution and Emerging Technologies
Predicated Worst-Case Execution-Time Analysis
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
ICCOM'08 Proceedings of the 12th WSEAS international conference on Communications
A predictable Java profile: rationale and implementations
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
Implementing time-predictable load and store operations
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Event-processing network model and implementation
IBM Systems Journal
Introducing embedded systems: a cyber-physical approach: extended abstract
WESE '09 Proceedings of the 2009 Workshop on Embedded Systems Education
An analysis of the AUTOSAR OS timing protection mechanism
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Model-based adaptivity in real-time scheduling
IWSAS'01 Proceedings of the 2nd international conference on Self-adaptive software: applications
Predictable space behaviour in FSM-Hume
IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
A proposal to integrate the POSIX execution-time clocks into Ada 95
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Modeling hard real time systems with UML the OOHARTS approach
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Delivering real-time behaviour
Domain modeling and the duration calculus
Handling temporal faults in Ada 2005
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
WCCI'08 Proceedings of the 2008 IEEE world conference on Computational intelligence: research frontiers
Mobile robot fault tolerant control: introducing ARTEMIC
ISPRA'10 Proceedings of the 9th WSEAS international conference on Signal processing, robotics and automation
Early schedulability analysis with timed use case maps
SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
Measuring and policing blocking times in real-time systems
ACM Transactions on Embedded Computing Systems (TECS)
A framework for flexible scheduling in the RTSJ
ACM Transactions on Embedded Computing Systems (TECS)
The design of SafeJML, a specification language for SCJ with support for WCET specification
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems
Programming with time: cyber-physical programming with impromptu
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Utilization bound for periodic task set with composite deadline
Computers and Electrical Engineering
Proceedings of the Conference on Design, Automation and Test in Europe
A fault-tolerant reservation-based strategy for scheduling aperiodic tasks in multiprocessor systems
EUROMICRO-PDP'02 Proceedings of the 10th Euromicro conference on Parallel, distributed and network-based processing
Requirements modeling for embedded realtime systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
An introductory textbook on cyber-physical systems
WESE '10 Proceedings of the 2010 Workshop on Embedded Systems Education
WCET analysis of modern processors using multi-criteria optimisation
Empirical Software Engineering
Design and development of a CPU scheduler simulator for educational purposes using SDL
SAM'10 Proceedings of the 6th international conference on System analysis and modeling: about models
Slack-based multiprocessor scheduling of aperiodic real-time tasks
Real-Time Systems
A Hardware Abstraction Layer in Java
ACM Transactions on Embedded Computing Systems (TECS)
A comparative study of rate monotonic schedulability tests
The Journal of Supercomputing
Programming languages for real-time systems
Embedded Systems Design
Embedded Systems Design
A qualitative methodology for tailoring SPE activities in embedded platform development
PROFES'05 Proceedings of the 6th international conference on Product Focused Software Process Improvement
A safety-related PES for task-oriented real-time execution without asynchronous interrupts
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
Scheduling fixed-priority hard real-time tasks in the presence of faults
LADC'05 Proceedings of the Second Latin-American conference on Dependable Computing
Using hardware support for scheduling with ada
Ada-Europe'10 Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies
The embedded systems design challenge
FM'06 Proceedings of the 14th international conference on Formal Methods
Partially non-preemptive dual priority multiprocessor scheduling
OPODIS'11 Proceedings of the 15th international conference on Principles of Distributed Systems
Rigorous system design: the BIP approach
MEMICS'11 Proceedings of the 7th international conference on Mathematical and Engineering Methods in Computer Science
A black-box approach to understanding concurrency in DaCapo
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Mostly-strongly-timed programming
Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity
Rigorous component-based system design
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Chip-multiprocessor hardware locks for safety-critical Java
Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems
A review of fixed priority and EDF scheduling for hard real-time uniprocessor systems
ACM SIGBED Review - Special Issue on the 3rd Embedded Operating System Workshop (EWiLi 2013)
| Hi-index | 0.00 |
From the Publisher:B This book provides an in-depth analysis of the requirements for designing and implementing real-time embedded systems, and discusses how these requirements are met by current languages and operating systems. The comparative advantages of Ada 95, Real-Time Java, and Real-Time C/POSIX are discussed in full. The emergence of Java as a real-time language through the Real-Time Java extensions has resulted in the treatment of Java as one of the core languages covered in the book. The additional real-time facilities in POSIX are also explored, as well as the proposed extensions to CORBA to address real-time issues. More material on schedulability analysis is also included. No other book on real-time programming languages (or concurrent programming languages) covers this range of topics. This book is designed for programmers and engineers looking for an introduction and/or reference that discusses current real-time programming languages and how they are suited to designing and implementing real-time embedded systems.