Cyber-Physical System Design From an Architecture Analysis Viewpoint : Communications of NII Shonan Meetings

1 Virtual Prototyping of Embedded Systems: Speed and Accuracy Tradeoffs -- 2 Model-Based Design And Automated Validation Of ARINC653 Architectures using the AADL -- 3 Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard -- 4 MARTE for CPS and CPSoS -- 5 Combined Model Checking and Testing Create Confidence -- A Case on Commercial Automotive Operating System -- 6 Formal Methods for Aerospace Systems.;Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS), this book offers a comprehensive introduction to the architecture-centric modeling, analysis, and verification of CPS. In particular, it focuses on model driven engineering methods including architecture description languages, virtual prototyping, and formal analysis methods. CPS are based on a new design paradigm intended to enable emerging software-intensive systems. Embedded computers and networks monitor and control the physical processes, usually with the help of feedback loops where physical processes affect computations and vice versa. The principal challenges in system design lie in this constant interaction of software, hardware and physics. Developing reliable CPS has become a critical issue for the industry and society, because many applications such as transportation, power distribution, medical equipment and tele-medicine are dependent on CPS. Safety and security requirements must be ensured by means of powerful validation tools. Satisfying such requirements, including quality of service, implies having formally proven the required properties of the system before it is deployed. The book is concerned with internationally standardized modeling languages such as AADL, SysML, and MARTE. As the effectiveness of the technologies is demonstrated with industrial sample cases from the automotive and aerospace sectors, links between the methods presented and industrial problems are clearly understandable. Each chapter is self-contained, addressing specific scientific or engineering problems, and identifying further issues. In closing, it includes perspectives on future directions in CPS design from an architecture analysis viewpoint.

currently Employed At Stmicroelectronics, Transactional-level Modeling (tlm) Puts Forward A Novel Soc Design Methodology Beyond Rtl With Measured Improvements Of Productivity And First Time Silicon Success.

the Systemc Consortium Has Published The Official Tlm Development Kit In May 2005 To Standardize This Modeling Technique. The Library Is Flexible Enough To Model Components And Systems At Many Different Levels Of Abstractions: From Cycle-accurate To Untimed Models, And From Bit-true Behavior To Floating-point Algorithms. However, Careful Selection Of The Abstraction Level And Associated Methodology Is Crucial To Ensure Practical Gains For Design Teams.

transaction-level Modeling With Systemc Presents The Formalized Abstraction And Related Methodology Defined At Stmicroelectronics, And Covers All Major Topics Related To The Electronic System-level (esl) Industry:

- Tlm Modeling Concepts
- Early Embedded Software Development Based On Soc Virtual Prototypes
- Functional Verification Using Reference Models
- Architecture Analysis With Mixed Tlm And Cycle Accurate Platforms
- Unifying Tlm And Rtl With Platform Automation Tools

complementary To The Book, Open Source Code To Put This Approach Into Practice Is Available On Several Internet Sites As Indicated In The First Chapter.

Logical time is a relaxed form of time promoted by synchronous languages that is functional, elastic (can be abstracted or refined), and multiform. All these properties make logical time adequate also at design time, whereas precise physical time annotations should only matter in later post-synthesis stages. The Clock Constraint Specification Language (CCSL) is a concrete language dedicated to the modeling and analysis of logical time properties. CCSL was initially defined as a companion for the time model of the UML profile for MARTE. It has now become a full-fledged domain-specific modeling language for capturing causal, chronological and timed relationships. It should complement other syntactic models to capture their underlying model of computation. This book starts by describing the historical models of concurrency that have inspired the construction of CCSL. Then, CCSL is introduced and used to build libraries dedicated to two emerging standard models from the automotive (East-ADL) and the avionic (AADL) domains. Finally, an observer-based technique to verify Esterel and VHDL implementations against CCSL specifications is presented.

"Currently employed at STMicroelectronics, Transactional-Level Modeling (TLM) puts forward a novel SoC design methodology beyond RTL with measured improvements of productivity and first time silicon success." "The SystemC consortium has published the official TLM development kit in May 2005 to standardize this modeling technique. The library is flexible enough to model components and systems at many different levels of abstractions: from cycle-accurate to untimed models, and from bit-true behavior to floating-point algorithms. However, careful selection of the abstraction level and associated methodology is crucial to ensure practical gains for design teams." "Transaction-Level Modeling with SystemC presents the formalized abstraction and related methodology defined at STMicroelectronics, and covers all major topics related to the Electronic System-Level (ESL) industry."--Jacket Presents the formalized abstraction and related methodology defined at STMicroelectronics. This book covers major topics related to the Electronic System-Level (ESL) industry: TLM modeling concepts; early embedded software development based on SoC virtual prototypes; functional verification using reference models; and more This book strives to identify and introduce the durable intellectual ideas of embedded systems as a technology and as a subject of study. The emphasis is on modeling, design, and analysis of cyber-physical systems, which integrate computing, networking, and physical processes.