Conference
Automatically Quantitative Analysis and Code Generator for Sensor Systems: The Example of Great Lakes Water Quality Monitoring
Abstract
In model-driven development of embedded systems, one would ideally automate both the code generation from the model and the analysis of the model for functional correctness, liveness, timing guarantees, and quantitative properties. Characteristically for embedded systems, analyzing quantitative properties like resource consumption and performance requires a model of the environment as well. We use pState to analyze the power consumption of …
Authors
Nokovic B; Sekerinski E
Series
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
Volume
170
Pagination
pp. 313-319
Publisher
Springer Nature
Publication Date
2016
DOI
10.1007/978-3-319-47075-7_35
Conference proceedings
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
ISSN
1867-8211