Enter your search into one or more of the boxes below:
You can refine your search by selecting from any of the options below:
Model-based Testing of Real-Time Embedded Systems in the Automotive Domain
Foyalty 155

Model-based Testing of Real-Time Embedded Systems in the Automotive Domain (Paperback)

Currently unavailable. Foyles can order for despatch to customer when the publisher is re-supplied on 10/03/2009.
Email me when back in stock


Design decisions that used to be made at the code level are increasingly made at a higher level of abstraction. This shift of focus from implementation to design requires the creation of a consistent, reusable and well-documented specification model. Nowadays, about 40 percent of embedded system designs are within 20 percent of functionality expectations. This is partially attributed to the lack of an appropriate approach for functional validation. To improve hybrid system design, this dissertation presents a test method at the model level. The so-called Model-in-the-Loop for Embedded System Test (MiLEST) approach primarily employs a systematic, structured, repeatable, and abstract test specification and concentrates on automation of the test process. A signal-feature - oriented paradigm allows an abstract description of a signal and addresses the problems of the missing reference signal flows as well as systematic test data selection. Numerous signal features are identified while predefined test patterns help build the test specification. Testing then starts in the requirements phase and goes down to the test execution level. MiLEST is implemented in MATLAB/Simulink/Stateflow.

Three case studies are presented. They correspond to component, component-in-the-loop, and integration level tests. Moreover, the quality of the resulting test models and test cases are investigated in depth.

Computing & ITComputer programming / software developmentSoftware EngineeringSoftware testing & verificationComputing & ITComputer scienceSystems analysis & design Publisher: Fraunhofer IRB Verlag Publication Date: 10/03/2009 ISBN-13: 9783816779742  Details: Type: Paperback Format: Books
Availability: Currently unavailable. Foyles can order for despatch to customer when the publisher is re-supplied on 10/03/2009.  

More books by Justyna Zander-Nowicka

More books by Fraunhofer FOKUS

Leave Review


Delivery Options

All delivery times quoted are the average, and cannot be guaranteed. These should be added to the availability message time, to determine when the goods will arrive. During checkout we will give you a cumulative estimated date for delivery.

Location 1st Book Each additional book Average Delivery Time
UK Standard Delivery FREE FREE 3-5 Days
UK First Class £4.50 £1.00 1-2 Days
UK Courier £7.00 £1.00 1-2 Days
Western Europe** Courier £17.00 £3.00 2-3 Days
Western Europe** Airmail £5.00 £1.50 4-14 Days
USA / Canada Courier £20.00 £3.00 2-4 Days
USA / Canada Airmail £7.00 £3.00 4-14 Days
Rest of World Courier £22.50 £3.00 3-6 Days
Rest of World Airmail £8.00 £3.00 7-21 Days

** Includes Austria, Belgium, Denmark, France, Germany, Greece, Iceland, Irish Republic, Italy, Luxembourg, Netherlands, Portugal, Spain, Sweden and Switzerland.

Delivery Help & FAQs

Returns Information

If you are not completely satisfied with your purchase*, you may return it to us in its original condition with in 30 days of receiving your delivery or collection notification email for a refund. Except for damaged items or delivery issues the cost of return postage is borne by the buyer. Your statutory rights are not affected.

* For Exclusions and terms on damaged or delivery issues see Returns Help & FAQs

You might also like

Mobile Testing: An ASTQB-BCS...
Rex Black
Safety of Software-based Systems
Jean-Louis Boulanger
Rails 5 Test Prescriptions
Noel Rappin
Verification, Model Checking, and...
Isil Dillig; Jens Palsberg
© W&G Foyle Ltd
Foyles uses cookies to help ensure your experience on our site is the best possible. Click here if you’d like to find out more about the types of cookies we use.
Accept and Close