Scheduler activations: effective kernel support for the user-level management of parallelism
SOSP '91 Proceedings of the thirteenth ACM symposium on Operating systems principles
A practitioner's handbook for real-time analysis
A practitioner's handbook for real-time analysis
An Open Environment for Real-Time Applications
Real-Time Systems
System architecture directions for networked sensors
ASPLOS IX Proceedings of the ninth international conference on Architectural support for programming languages and operating systems
Assuring and evolving concurrent programs: annotations and policy
Proceedings of the 24th International Conference on Software Engineering
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
IEEE Transactions on Computers
ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
Inferring Scheduling Behavior with Hourglass
Proceedings of the FREENIX Track: 2002 USENIX Annual Technical Conference
The nesC language: A holistic approach to networked embedded systems
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Analysis of Hierar hical Fixed-Priority Scheduling
ECRTS '02 Proceedings of the 14th Euromicro Conference on Real-Time Systems
A Model of Hierarchical Real-Time Virtual Resources
RTSS '02 Proceedings of the 23rd IEEE Real-Time Systems Symposium
HLS: A Framework for Composing Soft Real-Time Schedulers
RTSS '01 Proceedings of the 22nd IEEE Real-Time Systems Symposium
Scalable real-time system design using preemption thresholds
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
LCTES '05 Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Random testing of interrupt-driven software
Proceedings of the 5th ACM international conference on Embedded software
Interrupt Verification via Thread Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 4th workshop on Embedded networked sensors
Towards verifiable deeply embedded systems
ACM SIGBED Review - Special issue on the RTSS forum on deeply embedded real-time computing
Efficient implementation of tight response-times for tasks with offsets
Real-Time Systems
Scheduling for Reliable Execution in Autonomic Systems
ATC '08 Proceedings of the 5th international conference on Autonomic and Trusted Computing
FIT: A Flexible, LIght-Weight, and Real-Time Scheduling System for Wireless Sensor Platforms
DCOSS '08 Proceedings of the 4th IEEE international conference on Distributed Computing in Sensor Systems
Lightweight monitoring of sensor software
Proceedings of the 2009 ACM symposium on Applied Computing
Scheduling policy design for autonomic systems
International Journal of Autonomous and Adaptive Communications Systems
Improving the energy efficiency of the MANTIS kernel
EWSN'07 Proceedings of the 4th European conference on Wireless sensor networks
Multithreading optimization techniques for sensor network operating systems
EWSN'07 Proceedings of the 4th European conference on Wireless sensor networks
Integrating real-time hybrid task scheduling into a sensor node platform
Proceedings of the 2010 ACM Symposium on Applied Computing
Hi-index | 0.00 |
We have developed a new way to look at real-time andembedded software: as a collection of execution environmentscreated by a hierarchy of schedulers. Common schedulersinclude those that run interrupts, bottom-half handlers,threads, and events. We have created algorithms forderiving response times, scheduling overheads, and blockingterms for tasks in systems containing multiple executionenvironments. We have also created task scheduler logic,a formalism that permits checking systems for race conditionsand other errors. Concurrency analysis of low-levelsoftware is challenging because there are typically severalkinds of locks, such as thread mutexes and disabling interrupts,and groups of cooperating tasks may need to acquiresome, all, or none of the available types of locks to createcorrect software. Our high-level goal is to create systemsthat are evolvable: they are easier to modify in responseto changing requirements than are systems created usingtraditional techniques. We have applied our approach totwo case studies in evolving software for networked sensornodes.