Modeling cyber–physical systems

P Derler, EA Lee, AS Vincentelli - Proceedings of the IEEE, 2011 - ieeexplore.ieee.org
This paper focuses on the challenges of modeling cyber–physical systems (CPSs) that arise
from the intrinsic heterogeneity, concurrency, and sensitivity to timing of such systems. It …

[책][B] Introduction to embedded systems: A cyber-physical systems approach

EA Lee, SA Seshia - 2017 - books.google.com
An introduction to the engineering principles of embedded systems, with a focus on
modeling, design, and analysis of cyber-physical systems. The most visible use of …

[책][B] Embedded system design: embedded systems foundations of cyber-physical systems, and the internet of things

P Marwedel - 2021 - library.oapen.org
A unique feature of this open access textbook is to provide a comprehensive introduction to
the fundamental knowledge in embedded systems, with applications in cyber-physical …

Knowledge based real time monitoring system for aquaculture using IoT

KRSR Raju, GHK Varma - 2017 IEEE 7th international advance …, 2017 - ieeexplore.ieee.org
Internet of things is one of the rapidly growing fields for delivering social and economic
benefits for emerging and develo** economy. The field of IOT is expanding its wings in all …

[책][B] Multiprocessor systems-on-chips

A Jerraya, W Wolf - 2004 - books.google.com
Modern system-on-chip (SoC) design shows a clear trend toward integration of multiple
processor cores on a single chip. Designing a multiprocessor system-on-chip (MPSOC) …

Disciplined heterogeneous modeling

EA Lee - International Conference on Model Driven Engineering …, 2010 - Springer
Complex systems demand diversity in the modeling mechanisms. One way to deal with a
diversity of requirements is to create flexible modeling frameworks that can be adapted to …

[PDF][PDF] The synchronous programming language Quartz

K Schneider - 2009 - researchgate.net
During the past decades, an incredible change of technology has been observed in many
devices: traditionally used mechanical parts have often been first replaced by analog …

Decentralised LTL monitoring

A Bauer, Y Falcone - International Symposium on Formal Methods, 2012 - Springer
Users wanting to monitor distributed or component-based systems often perceive them as
monolithic systems which, seen from the outside, exhibit a uniform behaviour as opposed to …

Modeling time (s)

C André, F Mallet, R De Simone - … , USA, September 30-October 5, 2007 …, 2007 - Springer
Time and timing features are an important aspect of modern electronic systems, often of
embedded nature. We argue here that in early design phases, time is often of logical (rather …

Decentralised LTL monitoring

A Bauer, Y Falcone - Formal Methods in System Design, 2016 - Springer
Users wanting to monitor distributed or component-based systems often perceive them as
monolithic systems which, seen from the outside, exhibit a uniform behaviour as opposed to …