Theoretical Computer Science
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Principles of Program Analysis
Principles of Program Analysis
Real-Time Systems and Programming Languages: ADA 95, Real-Time Java, and Real-Time POSIX
Real-Time Systems and Programming Languages: ADA 95, Real-Time Java, and Real-Time POSIX
Efficient Scheduling Algorithms for Real-Time Multiprocessor Systems
IEEE Transactions on Parallel and Distributed Systems
Integrating Schedulability Analysis and Design Techniques in SDL
Real-Time Systems
Automatic Implementation of Real-Time Object-Oriented Models and Schedulability Issues
WORDS '01 Proceedings of the Sixth International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'01)
Automatic Synthesis of Multi-Tasking Implementations from Real-Time Object-Oriented Models
ISORC '00 Proceedings of the Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Schedulability analysis with UML
UML for real
Clocked Transition Systems
Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
The worst-case execution-time problem—overview of methods and survey of tools
ACM Transactions on Embedded Computing Systems (TECS)
Formal semantics and verification of use case maps
Formal semantics and verification of use case maps
Scenario-based performance engineering with UCMNAV
SDL'03 Proceedings of the 11th international conference on System design
Formal verification of use case maps with real time extensions
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Annotating UML models with non-functional properties for quantitative analysis
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Abstract operational semantics for use case maps
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles
AsmL-based concurrency semantic variations for timed use case maps
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Exploring early availability requirements using use case maps
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
Hi-index | 0.00 |
The ability to perform quantitative analysis at the requirements level supports the detection of design errors during the early stages of a software development life cycle. This would help reduce the cost of later redesign activities in case of unsatisfactory performance. This paper presents a novel approach to perform schedulability analysis at the requirement stage using Timed Use Case Maps (TUCM) language. The proposed approach relies on the computation of Worst-Case Execution Time (WCET), resource allocation and scheduling policies. Timing and resource constraints are first incorporated into UCM specifications, then mapped to Abstract State Machines (ASM) formalism and implemented in AsmL language, allowing for simulation and schedulability analysis. The applicability of the approach is illustrated using an example of the Automatic Protection Switching (APS) feature.