|
Showing 1 - 5 of
5 matches in All Departments
|
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems - Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings (Paperback, 2004 ed.)
Yassine Lakhnech, Sergio Yovine
|
R1,730
Discovery Miles 17 300
|
Ships in 10 - 15 working days
|
This volume contains the proceedings of the joint conference on
Formal M- elling and Analysis of Timed Systems (FORMATS) and Formal
Techniques in Real-Time and Fault Tolerant Systems (FTRTFT), held
in Grenoble, France, on September 22-24,2004. The conference united
two previously independently - ganized conferences FORMATS and
FTRTFT. FORMATS 2003 was organized
asasatelliteworkshopofCONCUR2003andwasrelatedtothreeindependently
started workshop series: MTCS (held as a satellite event of CONCUR
2000 and CONCUR 2002), RT-TOOLS (held as a satellite event of
CONCUR 2001 and FLoC 2002) and TPTS (held at ETAPS 2002). FTRTFT is
a symposium that was held seven times before: in Warwick 1988,
Nijmegen 1992, Lu ]beck 1994, Uppsala 1996, Lyngby 1998, Pune 2000
and Oldenburg 2002. The proceedings of these symposia were
published as volumes 331, 571, 863, 1135, 1486, 1926, and 2469 in
the LNCS series by Springer. Thisjointconferenceis
dedicatedtotheadvancementofthetheoryandpr- ticeofthe modelling,
designandanalysisofreal-timeandfault-tolerantsystems. Indeed,
computersystemsarebecomingincreasinglywidespreadinreal-timeand
safety-critical applications such as embedded systems. Such systems
are char- terized by the crucial need to manage their complexity in
order to produce reliable designs and implementations. The
importance of timing aspects, p- formance and fault-tolerance is
continuously growing. Formal techniques o?er a foundation for
systematic design of complex systems. They have bene?cial -
plications throughout the engineering process, from the capture of
requirements through speci?cation, design, coding and compilation,
down to the hardware that embeds the system into its environmen
The correct development of large / com plex pieces of software
demands a thorough structuring of the design process. In a first
phase the requirements engineering is relevant for capturing the
relevant functionality and its adequate formalization in precise
mathematical definitions. Prototyping can can be used as a means
for checking the functional behaviour at this early stage of
development. The ade quate specification resulting from the first
phase is then the basis for the second phase which comprises the
derivation of an implementation. This phase requires the use of
formal methods and tools to verify/validate the implementation. A
prerequisite for applying this approach is to have a suitable
mechanical support. This volume contains the proceedings of the
International Workshop Tool Support for System Specification,
Development and Verification organized June 1 - 4, 1998, in
Malente, Germany. This workshop is the third in a series of events
devoted to this topic. The first two workshops were held in 1994 in
Kiel and 1996 in Bremen, Germany. The aim of this workshop is to
provide a forum for researchers interested in the use and
development of tools which support the use of mathematical
techniques for the specification, development and verification of
systems. The workshop covers the spectrum from verification tools
to graphical editors and compilers. The program of the workshop
included an invited lecture and 26 talks. The invited lecture was
given by F.W. von Henke (University ofUlm) on Mechanized formal
methods and system design."
|
From Programs to Systems - The Systems Perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings (Paperback, 2014 ed.)
Saddek Bensalem, Yassine Lakhnech, Axel Legay
|
R2,405
Discovery Miles 24 050
|
Ships in 10 - 15 working days
|
"From Programs to Systems - The Systems Perspective in Computing"
workshop (FPS 2014) was held in honor of Professor Joseph Sifakis
in the framework of the 16th European Joint Conferences on Theory
and Practice of Software, ETAPS, in Grenoble, April 2014. Joseph
Sifakis is an active and visionary researcher in the area of system
design. He believes that endowing design with scientific
foundations is at least of equal importance as the quest for
scientific truth in natural sciences. Previously, he has worked on
Petri nets, concurrent systems, program semantics, verification,
embedded systems, real-time systems, and formal methods more
generally. The book contains 18 papers covering various topics
related to the extension of programming theory to systems.
This is a systematic and comprehensive introduction both to
compositional proof methods for the state-based verification of
concurrent programs, such as the assumption-commitment and
rely-guarantee paradigms, and to noncompositional methods, whose
presentation culminates in an exposition of the
communication-closed-layers (CCL) paradigm for verifying network
protocols. Compositional concurrency verification methods reduce
the verification of a concurrent program to the independent
verification of its parts. If those parts are tightly coupled, one
additionally needs verification methods based on the causal order
between events. These are presented using CCL. The semantic
approach followed here allows a systematic presentation of all
these concepts in a unified framework which highlights essential
concepts. This 2001 book is self-contained, guiding the reader from
advanced undergraduate level. Every method is illustrated by
examples, and a picture gallery of some of the subject's key
figures complements the text.
This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee paradigms, and to noncompositional methods, whose presentation culminates in an exposition of the communication-closed-layers (CCL) paradigm for verifying network protocols. Compositional concurrency verification methods reduce the verification of a concurrent program to the independent verification of its parts. If those parts are tightly coupled, one additionally needs verification methods based on the causal order between events. These are presented using CCL. The semantic approach followed here allows a systematic presentation of all these concepts in a unified framework which highlights essential concepts. The book is self-contained, guiding the reader from advanced undergraduate level to the state-of-the-art. Every method is illustrated by examples, and a picture gallery of some of the subject's key figures complements the text.
|
You may like...
Not available
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|