Automata for modeling real-time systems
Proceedings of the seventeenth international colloquium on Automata, languages and programming
Information Processing Letters
A practitioner's handbook for real-time analysis
A practitioner's handbook for real-time analysis
STRESS: a simulator for hard real-time systems
Software—Practice & Experience
Verus: a tool for quantitative analysis of finite-state real-time systems
LCTES '95 Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems
Timing Analysis of Ada Tasking Programs
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
UPPAAL—a tool suite for automatic verification of real-time systems
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Analyzing partially-implemented real-time systems
ICSE '97 Proceedings of the 19th international conference on Software engineering
Software architecture in practice
Software architecture in practice
Filter-based model checking of partial systems
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Checking safety properties using compositional reachability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications
Timing Analysis for Fixed-Priority Scheduling of Hard Real-Time Systems
IEEE Transactions on Software Engineering
Guaranteeing Real-Time Requirements With Resource-Based Calibration of Periodic Processes
IEEE Transactions on Software Engineering
Task-System Analysis Using Slope-Parametric Hybrid Automata
Euro-Par '97 Proceedings of the Third International Euro-Par Conference on Parallel Processing
CAISARTS: a tool for real-time scheduling assistance
RTAS '96 Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium (RTAS '96)
Schedulability Analysis for Automated Implementations of Real-Time Object-Oriented Models
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
Schedulability and Safety Analysis in the Graphical Communicating Shared Resources
WORDS '96 Proceedings of the 2nd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '96)
Conformance test experiments for distributed real-time systems
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Automatic synthesis of a subclass of schedulers in timed systems
Theoretical Computer Science - Australasian computer science
Measuring Behavioral Correspondence to a Timed Concurrent Model
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Duration Properties over Real Time System Designs
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Proceedings of the 26th International Conference on Software Engineering
A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties
IEEE Transactions on Software Engineering
A toolsuite for the verification of real-time systems in Eclipse
eclipse '06 Proceedings of the 2006 OOPSLA workshop on eclipse technology eXchange
Case study on distributed and fault tolerant system modeling based on timed automata
Journal of Systems and Software
Patterns for Timed Property Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Timed weak simulation verification and its application to stepwise refinement of real-time software
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
Time-bounded analysis of real-time systems
Proceedings of the International Conference on Formal Methods in Computer-Aided Design
| Hi-index | 0.00 |
We present an automatic approach to verify designs of real-time distributed systems for complex timing requirements. We focus our analysis on designs which adhere to the hypothesis of analytical theory for Fixed-Priority scheduling. Unlike previous formal approaches, we draw from that theory and build small formal models (based on Timed Automata) to be analyzed by means of model checking tools. We are thus integrating scheduling analysis into the framework of automatic formal verification.