Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking
- 20 November 2017
- journal article
- research article
- Published by Springer Science and Business Media LLC in International Journal on Software Tools for Technology Transfer
- Vol. 20 (5), 547-561
- https://doi.org/10.1007/s10009-017-0480-3
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Modelling and simulation of asynchronous real-time systems using Timed RebecaScience of Computer Programming, 2014
- TinyOS-based real-time wireless data acquisition framework for structural health monitoring and controlStructural Control and Health Monitoring, 2012
- Ten Years of Analyzing Actors: Rebeca ExperienceLecture Notes in Computer Science, 2011
- Model-Based Framework for Schedulability Analysis Using UPPAAL 4.1Published by Taylor & Francis Ltd ,2009
- Schedulability of asynchronous real-time concurrent objectsThe Journal of Logic and Algebraic Programming, 2009
- Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time MaudeTheoretical Computer Science, 2009
- Schedulability analysis of fixed-priority systems using timed automataTheoretical Computer Science, 2006
- Timed Automata with Asynchronous Processes: Schedulability and DecidabilityLecture Notes in Computer Science, 2002
- System architecture directions for networked sensorsACM SIGPLAN Notices, 2000
- Schedulability analysis of periodic and aperiodic tasks with resource constraintsJournal of Systems Architecture, 2000