On the supermal controllable sublanguage of a given language
SIAM Journal on Control and Optimization
A practitioner's handbook for real-time analysis
A practitioner's handbook for real-time analysis
Theoretical Computer Science
Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
Information and Computation
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
An open graph visualization system and its applications to software engineering
Software—Practice & Experience - Special issue on discrete algorithm engineering
Static Analysis and Dynamic Steering of Time-Dependent Systems
IEEE Transactions on Software Engineering
Introduction to the Special Issue on Flexible Scheduling
Real-Time Systems - Flexible Scheduling on Real-Time Systems
Scheduler Modeling Based on the Controller Synthesis Paradigm
Real-Time Systems
Commonality and Variability in Software Engineering
IEEE Software
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
IEEE Transactions on Computers
Timing Analysis for Fixed-Priority Scheduling of Hard Real-Time Systems
IEEE Transactions on Software Engineering
FlexCC2: An Optimizing Retargetable C Compiler for DSP Processors
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Symbolic Controller Synthesis for Discrete and Timed Systems
Hybrid Systems II
TurboJ, a Java Bytecode-to-Native Compiler
LCTES '98 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
The MSP.RTL real-time scheduler synthesis tool
RTSS '96 Proceedings of the 17th IEEE Real-Time Systems Symposium
Symbolic Schedulability Analysis of Real-Time Systems
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
Reducing the Number of Preemptions in Fixed Priority Scheduling
ECRTS '04 Proceedings of the 16th Euromicro Conference on Real-Time Systems
Data-Mining Synthesised Schedulers for Hard Real-Time Systems
Proceedings of the 19th IEEE international conference on Automated software engineering
Symbolic quality control for multimedia applications
Real-Time Systems
Fitting Schedulability Analysis Theory into Model-Driven Engineering
ECRTS '08 Proceedings of the 2008 Euromicro Conference on Real-Time Systems
The theory of deadlock avoidance via discrete control
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Efficient scheduling of sporadic, aperiodic, and periodic tasks with complex constraints
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
JAHUEL: a formal framework for software synthesis
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Hi-index | 0.00 |
Meeting multiple Quality of Service (QoS) requirements is an important factor in the success of complex software systems. This paper presents an automated, model-based scheduler synthesis approach for scheduling application software tasks to meet multiple QoS requirements. As a first step, it shows how designers can meet deadlock-freedom and timeliness requirements, in a manner that (i) does not over-provision resources, (ii) does not require architectural changes to the system, and that (iii) leaves enough degrees of freedom to pursue further properties. A major benefit of our synthesis methodology is that it increases traceability, by linking each scheduling constraint with a specific pair of QoS property and underlying platform execution model, so as to facilitate the validation of the scheduling constraints and the understanding of the overall system behaviour, required to meet further QoS properties.The paper shows how the methodology is applied in practice and also presents a prototype implementation infrastructure for executing an application on top of common operating systems, without requiring modifications of the latter.