ePrints

On Developing and Verifying Design Abstractions for Reliable Concurrent Programming in Ada

Lookup NU author(s): Dr Albert Koelmans, Professor Maciej KoutnyORCiD

Downloads

• Published version [.pdf]

Abstract

Ada 95 is an expressive concurrent programming language with which it is possible to build complex multi-tasking applications. Much of the complexity of these applications stems from the interactions between the tasks. This paper argues that Petri nets offer a promising, tool-supported, technique for checking the logical correctness of the tasking algorithms. The paper illustrates the effectiveness of this approach by showing the correctness of an Ada implementation of the atomic action protocol using a variety of Petri net tools, including PED, PEP and INA for P/T nets and Design/CPN for Coloured Petri nets.

Publication metadata

Author(s): Burns A, Wellings AJ, Koelmans AM, Koutny M

Publication type: Report

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 2000

Pages: 12

Report Number: 706

Institution: Department of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/706.pdf

Share