Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

DeepDyve requires Javascript to function. Please enable Javascript on your browser to continue.

Journal of Systems and Software

Subject Areas: Hardware and Architecture
ISSN: 0164-1212
SJR: 113

2019
Volume 2020
Issue 1910 (Oct)

Open Access

Journal Article

Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization

Boufaied, Chaima; Jukss, Maris; Bianculli, Domenico; Briand, Lionel Claude; Parache, Yago Isasi

2019 Electrical Engineering and Systems Science

doi:10.1016/j.jss.2020.110881

Abstract: The behavior of a cyber-physical system (CPS) is usually defined in terms of the input and output signals processed by sensors and actuators. Requirements specifications of CPSs are typically expressed using signal-based temporal properties. Expressing such requirements is challenging,...

results per page

Prev
1
Next