Verifying schedulability of tasks in ROS-based systems
- 17 July 2018
- journal article
- research article
- Published by Springer Science and Business Media LLC in Journal of Combinatorial Optimization
- Vol. 37 (3), 901-920
- https://doi.org/10.1007/s10878-018-0328-0
Abstract
No abstract availableKeywords
This publication has 26 references indexed in Scilit:
- A Novel Approach to Modeling and Verifying Real-Time Systems for High ReliabilityIEEE Transactions on Reliability, 2018
- Formal verification of ethical choices in autonomous systemsRobotics and Autonomous Systems, 2016
- A practical decision procedure for Propositional Projection Temporal Logic with infinite modelsTheoretical Computer Science, 2014
- Verification of a Timed Multitask System With UppaalIEEE Transactions on Automation Science and Engineering, 2010
- Schedulability analysis of periodic fixed priority systemsInternational Conference on Acoustics, Speech, and Signal Processing (ICASSP), 2004
- Timed state space analysis of real-time preemptive systemsIEEE Transactions on Software Engineering, 2004
- A Tutorial on UppaalLecture Notes in Computer Science, 2004
- Rate monotonic analysis: the hyperbolic boundInternational Conference on Acoustics, Speech, and Signal Processing (ICASSP), 2003
- Timed AutomataLecture Notes in Computer Science, 1999
- Model-Checking in Dense Real-TimeInformation and Computation, 1993