Transformation-Based Reactive Systems Development

1. Front Matter

   PDF

2. What was Llull up to?

   • Anthony Bonner

   Pages 1-14

3. Llull as computer scientist or why Llull was one of us

   • Ton Sales

   Pages 15-21

4. Deductive verification of real-time systems using STeP

   • Nikolaj S. Bjørner, Zohar Manna, Henny B. Sipma, Tomás E. Uribe

   Pages 22-43

5. Refinement of Time

   • Manfred Broy

   Pages 44-63

6. The verus language: Representing time efficiently with BDDs

   • Sérgio Campos, Edmund Clarke

   Pages 64-78

7. Refining interval temporal logic specifications

   • Antonio Cau, Hussein Zedan

   Pages 79-94

8. Integrating temporal logics and model checking algorithms

   • Teodor Rus, Eric van Wyk

   Pages 95-110

9. PLC-automata: A new class of implementable real-time automata

   • Henning Dierks

   Pages 111-125

10. Communication concepts for statecharts: A semantic foundation

    • Peter Scholz, Dieter Nazareth

    Pages 126-140

11. Regular processes and timed automata

    • Pedro R. D'Argenio

    Pages 141-155

12. A visual formalism for real time requirement specifications

    • Konrad Feyerabend, Bernhard Josko

    Pages 156-168

13. Formal specification and verification method of concurrent and distributed systems by restricted timed automata

    • Satoshi Yamane

    Pages 169-183

14. Transformational formal development of real-time systems

    • K. Lano, A. Sanchez

    Pages 184-198

15. A transformation of monitor into communication synchronized parallel processes: A systematic refinement step in design

    • Miquel Bertran

    Pages 199-215

16. Contracts for ODP

    • Arnaud Février, Elie Najm, Jean -Bernard Stefani

    Pages 216-232

17. Affine transformations in Signal and their application in the specification and validation of real-time systems

    • Irina Smarandache, Paul Le Guernic

    Pages 233-247

18. Action-based concurrency and synchronization for objects

    • Ralph Back, Martin Büchi, Emil Sekerinski

    Pages 248-262

19. Communication Extended Abstract Types in the refinement of parallel communicating processes

    • Miquel Bertran, Felipe Alvarez-Cuevas, Albert Duran

    Pages 263-279

20. Verification and refinement of distributed programs in a fair framework

    • Luis A. Galán, Ricardo Peña

    Pages 280-294

This book constitutes the refereed proceedings of the Fourth International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, held in Palma de Mallorca, Spain, in May 1997.
The volume presents 24 carefully selected revised full papers. Also included are two historical contributions honoring Ramon Llull, who was born on Mallorca, as well as two invited papers. All current issues in the field of formal methods for real-time systems and distributed and concurrent systems are addressed.

• Formale Spezifikation
• Formale Verifikation
• Verteilte Systeme
• concurrent systems
• distributed systems
• formal method
• formal specification
• formal verification
• real-time
• real-time systems

Policies and ethics