Download Formal Methods and Software Engineering: 5th International by Ian J. Hayes (auth.), Jin Song Dong, Jim Woodcock (eds.) PDF

By Ian J. Hayes (auth.), Jin Song Dong, Jim Woodcock (eds.)

This quantity comprises the court cases of the 2003 overseas convention on Formal Engineering tools (ICFEM 2003). The convention was once the ?fth in a sequence that begun in 1997. ICFEM 2003 used to be held in Singapore in the course of 5–7 November 2003. ICFEM 2003 aimed to collect researchers and practitioners from - dustry, academia, and govt to increase the cutting-edge in formal engineering equipment and to inspire a much broader uptake of formal equipment in undefined. this system Committee bought ninety one submissions from greater than 20 co- attempts in quite a few areas. After each one paper was once reviewed through at the least 3 referees in each one proper ?eld, 34 top quality papers have been accredited according to originality, technical content material, presentation and relevance to formal tools and software program engineering. we want to essentially thank all authors who submitted their paintings for attention. we'd additionally wish to thank this system Committee individuals and different reviewers for his or her nice e?orts within the reviewing and choosing method. Weareindebtedtothethreekeynotespeakers,Prof.IanHayesoftheUniv- sity of Queensland, Prof. Mathai Joseph of the Tata examine, improvement and DesignCentre,andDr.ColinO’HalloranofQinetiQ,foracceptingourinvitation to handle the conference.

Show description

Read Online or Download Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings PDF

Best technique books

Multisensor Data Fusion, 2 Volume Set (Electrical Engineering & Applied Signal Processing Series)

In case you are or are within the details fusion box - you need to HAVE THIS booklet! !!

Algebraic Structure Theory of Sequential Machines

Hartmanis, J. ; Stearns, R. E. - Algebraic constitution concept of Sequential Machines Na Angliiskom Iazyke. writer: . 12 months: 1966. position: . Pages: Hardcover

Additional info for Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings

Sample text

The system had to tolerate failures of some sensors. In a tight 1-second cycle, control commands had to be sent to all locomotives and inputs from all sensors read in order to prepare the commands for the next cycle. One safety condition was that any locomotive that failed to receive its regular 1-second cycle command would be stopped automatically. The task was to specify, design and develop a safety-critical checker function that would ensure, with a specified level of confidence, that if the system were initially in a safe state, the issuance and execution of the next set of commands would leave the system in a safe state.

The processes share a set of variables. Each variable state consists of a variable name and its corresponding value. – A set of states of monitor locks and a set of states of monitor queues. A state of a monitor lock expresses the current status of the lock of the monitor. A state of a monitor queue expresses the current queue of processes waiting on this monitor to be notified. – A set of processes. A process consists of a process identifier and a process term. We use pid : p to denote a process with identifier pid and process term p.

The task was to specify, design and develop a safety-critical checker function that would ensure, with a specified level of confidence, that if the system were initially in a safe state, the issuance and execution of the next set of commands would leave the system in a safe state. This is a system where formal techniques were used at several places in the software development process. a Requirements analysis: Roughly 6 person months were spend on analyzing the requirements and building the prototypes.

Download PDF sample

Rated 4.67 of 5 – based on 29 votes