Formal Methods for Embedded Distributed Systems

How to master the complexity

By: Fabrice Kordon (Editor), Michel Lemoine (Editor)

Write A Review

Hardcover | 15 September 1991

At a Glance

Hardcover
292 Pages

Dimensions(cm)
24.13 x 15.88 x 1.91

Hardcover

$169.00

or 4 interest-free payments of $42.25 with

Ships in 5 to 7 business days

The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requires both different notations, and a strong devel- ment process. Different notations are mandatory because different aspects of the Software System have to be tackled. A strong development process is mandatory as well because without a strong organization we cannot warrantee the system will meet its requirements. Unfortunately, much more is needed! The different notations that can be used must all possess at least one property: formality. The development process must also have important properties: a exha- tive coverage of the development phases, and a set of well integrated support tools. In Computer Science it is now widely accepted that only formal notations can guarantee a perfect de?ned meaning. This becomes a more and more important issue since software systems tend to be distributed in large systems (for instance in safe public transportation systems), and in small ones (for instance numerous processors in luxury cars). Distribution increases the complexity of embedded software while safety criteria get harder to be met. On the other hand, during the past decade Software Engineering techniques have been improved a lot, and are now currently used to conduct systematic and rigorous development of large software systems. UML has become the de facto standard notation for documenting Software Engineering projects. UML is supported by many CASE tools that offer graphical means for the UML notation.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Computer Architecture & Logic Design Parallel Processing Engineering & Technology Electronics & Communications Engineering Electronics Engineering Computer Programming & Software Development Software Engineering Business Applications Presentation Graphics Software

Artificial Intelligence Graphical & Digital Media Applications

Introduction
The BART case study	p. 3
Formal specification and refinement of a safe train control function	p. 25
From UML to Z	p. 65
Environmental modeling with UML	p. 89
Checking BART test scenarios with UML's object constraint language	p. 133
Modeling and verifying behavioral aspects	p. 171
AutoFocus - mastering the complexity	p. 215
Conclusions	p. 259
Table of Contents provided by Blackwell. All Rights Reserved.

Formal Methods for Embedded Distributed Systems

How to master the complexity

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Presentation Graphics Software

Gamestorming 2.0

An Updated Playbook for Innovators, Rule Breakers, and Changemakers

Slide: ology

Art and Science of Creating Great Presentations

Show AI--Don't Tell It

Build Buy-In with Visual Storytelling

PDF Hacks

Hacks Ser.

Artificial Intelligence with Microsoft Power Bi

Simpler AI for the Enterprise

Presto Sketching

The magic of simple drawing for brilliant product thinking and design

Microsoft 365 PowerPoint For Dummies

Powerpoint for Dummies

Google Workspace For Dummies

For Dummies (Computer/Tech)

Data Science for IoT Engineers

A Systems Analytics Approach

Nuclear Command, Control, and Communications

A Primer on US Systems and Future Challenges

Nuclear Command, Control, and Communications

A Primer on US Systems and Future Challenges

Text Analytics for Business Decisions

A Case Study Approach

Final Cut Pro HD For Dummies

For Dummies (Computer/Tech)

Microsoft Powerpoint - 2020 Edition

Made Easy

Everything I Know about Life I Learned from Powerpoint

The Complete Microsoft 365 and Copilot Handbook - Volume II

Advanced Automations, Power Platform Tools, and Expert AI Workflows

Tableau Cookbook for Experienced Professionals

Over 60 advanced recipes for maximizing performance, interactivity, and platform potential

Mastering Microsoft Power BI - Second Edition

Expert techniques to create interactive insights for effective data analytics and business intelligence

The Ultimate Zoom Cookbook

Over 100 recipes to enhance and engage communication with Zoom

LaTeX Cookbook - Second Edition

Over 100 practical, ready-to-use LaTeX recipes for instant solutions

Extending Power BI with Python and R - Second Edition

Perform advanced analysis using the power of analytical languages

Illustrated Microsoft® 365® PowerPoint® Comprehensive, First Edition

Mindtap Course List

Office 2008 for Macintosh

The Missing Manual, 4th Edition

How to Do Everything with Microsoft Office PowerPoint 2007

How to Do Everything

This product is categorised by