Paper Info
Title
Hierarchical Non-Intrusive In-Situ Requirements Monitoring For Embedded Systems
Abstract
Accounting for all operating conditions of a system at the design stage is typically infeasible for complex systems. In-situ runtime monitoring and verification can enable a system to introspectively ensure the system is operating correctly in the presence of dynamic environment, to rapidly detect failures, and to provide detailed execution traces to find the root cause thereof. In this paper, we seek to address two challenges faced in using in-situ runtime verification for embedded systems, including (1) efficiently defining and automatically constructing a requirements model for embedded system software and (2) minimizing the runtime overhead of observing and verifying the runtime execution adheres to the requirements model. We present a methodology to construct a hierarchical runtime monitoring graph from system requirements specified using multiple UML sequence diagrams, which are already commonly used in software development. We further present the design of on-chip hardware that nonintrusively monitors the system at runtime to ensure the execution matches the requirements model. We evaluate the proposed methodology using a case study of a failsafe autonomous vehicle subsystem and analyze the relationship between event coverage, detection rate, and hardware requirements.
Year
DOI
Venue
2017
10.1007/978-3-319-67531-2_16
RUNTIME VERIFICATION (RV 2017)
Keywords
Field
DocType
Runtime requirement monitoring, Embedded systems, Nonintrusive system monitoring
Complex system,Sequence diagram,Unified Modeling Language,Computer science,Runtime verification,Software,System requirements,Root cause,Software development,Embedded system
Conference
Volume
ISSN
Citations 
10548
0302-9743
0
PageRank 
References 
Authors
0.34
13
2
Name
Order
Citations
PageRank
Minjun Seo172.94
Roman Lysecky260560.43