On the supermal controllable sublanguage of a given language
SIAM Journal on Control and Optimization
Decentralized supervisory control of discrete-event systems
Information Sciences: an International Journal - Robotics and Automation/Control Series
A practitioner's handbook for real-time analysis
A practitioner's handbook for real-time analysis
Theoretical Computer Science
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
An efficient state space generation for analysis of real-time systems
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Modeling and verifying active structural control systems
Science of Computer Programming - Special issue on COST 247, verification and validation methods for formal descriptions
An engineering approach to computer networking: ATM networks, the Internet, and the telephone network
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
An algebraic framework for urgency
Information and Computation
Embedded Control Systems Development with Giotto
OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
Specification and analysis of real-time systems with PARAGON
Annals of Software Engineering
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
IEEE Transactions on Computers
Fixed-Priority Sensitivity Analysis for Linear Compute Time Models
IEEE Transactions on Software Engineering
Priorities for Modeling and Verifying Distributed Systems
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
HYTECH: A Model Checker for Hybrid Systems
CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
Timed Automata as Task Models for Event-Driven Systems
RTCSA '99 Proceedings of the Sixth International Conference on Real-Time Computing Systems and Applications
Symbolic Schedulability Analysis of Real-Time Systems
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
A Framework for Scheduler Synthesis
RTSS '99 Proceedings of the 20th IEEE Real-Time Systems Symposium
Towards validated real-time software
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Compositional Modeling in Metropolis
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Modeling Real-Time Systems-Challenges and Work Directions
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Timed State Space Analysis of Real-Time Preemptive Systems
IEEE Transactions on Software Engineering
Data-Mining Synthesised Schedulers for Hard Real-Time Systems
Proceedings of the 19th IEEE international conference on Automated software engineering
Interval-based analysis in embedded system design
Mathematics and Computers in Simulation - Special issue: Selected papers from the 4th IMACS symposium on mathematical modelling (4th MATHMOD)
Composition for component-based modeling
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
A Framework for Component-based Construction Extended Abstract
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Schedulability analysis of fixed-priority systems using timed automata
Theoretical Computer Science - Tools and algorithms for the construction and analysis of systems (TACAS 2003)
Research trends in real-time computing for embedded systems
ACM SIGBED Review - Special issue on major international initiatives on real-time and embedded systems
Scheduling for multi-threaded real-time programs via path planning
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Model Checking Safety-Critical Systems Using Safecharts
IEEE Transactions on Computers
Predictable real-time software synthesis
Real-Time Systems
AADL modeling and analysis of hierarchical schedulers
Proceedings of the 2007 ACM international conference on SIGAda annual international conference
Robust and sustainable schedulability analysis of embedded software
Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems
Information Sciences: an International Journal
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Formal verification of real-time systems with preemptive scheduling
Real-Time Systems
Automatica (Journal of IFAC)
Automating the addition of fault tolerance with discrete controller synthesis
Formal Methods in System Design
Validate, simulate, and implement ARINC653 systems using the AADL
Proceedings of the ACM SIGAda annual international conference on Ada and related technologies
Multiprocessor scheduling in supervisory control of discrete-event systems framework
Control and Intelligent Systems
Formalising scheduling theories in duration calculus
Nordic Journal of Computing
Using controller-synthesis techniques to build property-enforcing layers
ESOP'03 Proceedings of the 12th European conference on Programming
Schedulability analysis using two clocks
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Automatic generation of safe handlers for multi-task systems
Journal of Embedded Computing
A process algebraic framework for modeling resource demand and supply
FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems
A model-based approach for multiple QoS in scheduling: from models to implementation
Automated Software Engineering
Ten years of analyzing actors: Rebeca experience
Formal modeling
Theoretical Computer Science
Compositional constraints generation for concurrent real-time loops with interdependent iterations
IICS'05 Proceedings of the 5th international conference on Innovative Internet Community Systems
Model checking prioritized timed automata
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Embedded Systems Design
Modeling and verification of safety-critical systems using safecharts
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Modeling and automatic failure analysis of safety-critical systems using extended safecharts
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
Efficient model-checking of dense-time systems with time-convexity analysis
Theoretical Computer Science
Automated analysis of real-time scheduling using graph games
Proceedings of the 16th international conference on Hybrid systems: computation and control
Hi-index | 0.01 |
The controller synthesis paradigm provides a general framework for scheduling real-time applications. Schedulers can be considered as controllers of the applications; they restrict their behavior so that given scheduling requirements are met. We study a modeling methodology based on the controller synthesis paradigm. The methodology allows to get a correctly scheduled system from timed models of its processes in an incremental manner, by application of composability results which simplify schedulability analysis. It consists in restricting successively the system to be scheduled by application of constraints defined from scheduling requirements. The latter are a conjunction of schedulability requirements that express timing properties of the processes and policy requirements about resource management. The presented methodology allows a unified view of scheduling theory and approaches based on timing analysis of models of real-time applications.