Synchronous programming of reactive systems: A tutorial and commented bibliography
N Halbwachs - International Conference on Computer Aided …, 1998 - Springer
The term" reactive system" was introduced by David Harel and Amir Pnueli [HP85], and is
now commonly accepted to designate permanently operating systems, and to distinguish …
now commonly accepted to designate permanently operating systems, and to distinguish …
[图书][B] Principles of model checking
A comprehensive introduction to the foundations of model checking, a fully automated
technique for finding flaws in hardware and software; with extensive examples and both …
technique for finding flaws in hardware and software; with extensive examples and both …
[图书][B] Real-time systems: design principles for distributed embedded applications
H Kopetz, W Steiner - 2022 - books.google.com
" This book is a comprehensive text for the design of safety critical, hard real-time embedded
systems. It offers a splendid example for the balanced, integrated treatment of systems and …
systems. It offers a splendid example for the balanced, integrated treatment of systems and …
[图书][B] Introduction to software testing
This extensively classroom-tested text takes an innovative approach to explaining software
testing that defines it as the process of applying a few precise, general-purpose criteria to a …
testing that defines it as the process of applying a few precise, general-purpose criteria to a …
A systematic review of state-based test tools
M Shafique, Y Labiche - International Journal on Software Tools for …, 2015 - Springer
Abstract Model-based testing (MBT) is about testing a software system using a model of its
behaviour. To benefit fully from MBT, automation support is required. The goal of this …
behaviour. To benefit fully from MBT, automation support is required. The goal of this …
[图书][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 …
the fundamental knowledge in embedded systems, with applications in cyber-physical …
Contracts for system design
Recently, contract-based design has been proposed as an “orthogonal” approach that
complements system design methodologies proposed so far to cope with the complexity of …
complements system design methodologies proposed so far to cope with the complexity of …
[图书][B] Wireless sensor networks: an information processing approach
Designing, implementing, and operating a wireless sensor network involves a wide range of
disciplines and many application-specific constraints. To make sense of and take advantage …
disciplines and many application-specific constraints. To make sense of and take advantage …
The abstract state machines method for high-level system design and analysis
E Börger - Formal Methods: State of the Art and New Directions, 2009 - Springer
We explain the main ingredients of the Abstract State Machines (ASM) method for high-level
system design and analysis and survey some of its application highlights in industrial …
system design and analysis and survey some of its application highlights in industrial …