Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks (original) (raw)
Related papers
2008
Model-driven round-trip engineering for TinyOS-based WSN applications
Journal of Computer Languages, vol. 65, 101051, pp. 1-16, DOI: 10.1016/j.cola.2021.101051, 2021
Software composition and verification for sensor networks
Science of Computer Programming, 2005
Design flow for the rigorous development of networked embedded systems
2015
Formal Approach for Modeling, Verification and Performance Analysis of Wireless Sensors Network
Lecture Notes in Computer Science, 2015
SystemC Modelling of the Embedded Networks
An approach combining SysML and modelica for modelling and validate wireless sensor networks
Proceedings of the First International Workshop on Software Engineering for Systems-of-Systems - SESoS '13, 2013
Building distributed sensor network applications using BIP
2015 IEEE Sensors Applications Symposium (SAS), 2015
Global Generic Model for Formal Validation of the Wireless Sensor Networks Properties
Proceedings of the 18th IFAC World Congress, 2011
Simulation of TinyOS Wireless Sensor Networks Using OPNET
2004
A Formal Model for Interaction Specification and Analysis in IoT Applications
Model and Data Engineering, 2018
Mapping SysML to modelica to validate wireless sensor networks non-functional requirements
2013 11th International Symposium on Programming and Systems (ISPS), 2013
OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling
International Conference on System Design Languages, 2007
Simulation of Wireless Sensor Networks Using TinyOS-A Case Study
Arxiv preprint arXiv: …, 2010
Component-Based Model for Heterogeneous Nodes in Wireless Sensor Networks
Lecture Notes on Information Theory, 2015
A scalable simulator for TinyOS applications
Proceedings of the Winter Simulation Conference
Modeling and simulation of networked low-power embedded systems: a taxonomy
2015
SystemC Model Generation for Realistic Simulation of Networked Embedded Systems
2012 15th Euromicro Conference on Digital System Design, 2012
CAN network design and verification using behavioral modeling languages
2008
Functional verification of networked embedded systems
Proceedings - International Symposium on Quality Electronic Design, ISQED, 2005
On Formal Modeling and Validation of Wireless Sensor Network Protocols
Wireless Personal Communications, 2020
Model-Driven Design of Network Aspects of Distributed Embedded Systems