Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Computer science. --- Software engineering. --- Control engineering. --- Computer Science. --- Software Engineering. --- Control. --- Cooperating objects (Computer systems) --- Systems engineering. --- Engineering systems --- System engineering --- Design and construction --- Engineering --- Industrial engineering --- System analysis --- Control and Systems Theory. --- Computer software engineering --- Control engineering --- Control equipment --- Control theory --- Engineering instruments --- Automation --- Programmable controllers

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book covers the start-of-the-art research and development for the emerging area of autonomous and intelligent systems. In particular, the authors emphasize design and validation methodologies to address the grand challenges related to safety. This book offers a holistic view of a broad range of technical aspects (including perception, localization and navigation, motion control, etc.) and application domains (including automobile, aerospace, etc.), presents major challenges and discusses possible solutions. Provides a single-source guide to the practical challenges in designing autonomous and intelligent systems; Discusses the major challenges related to safety of next-generation autonomous and intelligent systems, given growing complexity and new applications; Describes new design and validation methodologies to address safety issues; Includes technical background to facilitate further research and development.

Autonomous vehicles. --- Systems engineering. --- Computer science. --- Circuits and Systems. --- Signal, Image and Speech Processing. --- Processor Architectures. --- Informatics --- Science --- Engineering systems --- System engineering --- Engineering --- Industrial engineering --- System analysis --- Design and construction --- Electronic circuits. --- Signal processing. --- Image processing. --- Speech processing systems. --- Microprocessors. --- Minicomputers --- Computational linguistics --- Electronic systems --- Information theory --- Modulation theory --- Oral communication --- Speech --- Telecommunication --- Singing voice synthesizers --- Pictorial data processing --- Picture processing --- Processing, Image --- Imaging systems --- Optical data processing --- Processing, Signal --- Information measurement --- Signal theory (Telecommunication) --- Electron-tube circuits --- Electric circuits --- Electron tubes --- Electronics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book covers the start-of-the-art research and development for the emerging area of autonomous and intelligent systems. In particular, the authors emphasize design and validation methodologies to address the grand challenges related to safety. This book offers a holistic view of a broad range of technical aspects (including perception, localization and navigation, motion control, etc.) and application domains (including automobile, aerospace, etc.), presents major challenges and discusses possible solutions. Provides a single-source guide to the practical challenges in designing autonomous and intelligent systems; Discusses the major challenges related to safety of next-generation autonomous and intelligent systems, given growing complexity and new applications; Describes new design and validation methodologies to address safety issues; Includes technical background to facilitate further research and development.

Electrical engineering --- Applied physical engineering --- Computer science --- Computer architecture. Operating systems --- Computer. Automation --- beeldverwerking --- AGV (autonoom geleide voertuigen) --- spraaktechnologie --- computers --- ingenieurswetenschappen --- computerkunde --- architectuur (informatica) --- elektrische circuits --- signaalverwerking