Software engineering for parallel systems

Jelly, Innes; Gorton, Ian

doi:10.1016/0950-5849(94)90060-4

Cited by 20 publications

(14 citation statements)

References 38 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The limitations of this approach have now been recognized (Bacon et al 1994) and it is clear that the programmer/designer must share the responsibility of exposing parallelism. In fact, the advantages of explicit parallelism have been recognized by certain authors for some time (Hoare 1985), and there is now an urgent need for more SDMs (and tools) which support the development of explicitly parallel programs (Jelly and Gorton 1994).…”

Section: The Hi' Software Processmentioning

confidence: 99%

“…The DesignStructure is usually represented in a Structural way. Most SDMs for HI'S include some form of graphical representation (Jelly and Gorton 1994). However, these representations do not present a well-defined semantics and are only used to illustrate the DesignStructure.…”

Section: Information Descriptionmentioning

confidence: 99%

“…However, these representations do not present a well-defined semantics and are only used to illustrate the DesignStructure. The Behuviour-Description is usually represented in a Textual form like a piece of code or more formally (Formal-Textual) using a specification language (Jelly and Gorton 1994). There are, however, cases where Formal-visual representations are used (Jelly and Gorton 1994).…”

Section: Information Descriptionmentioning

confidence: 99%

“…Attempts have been made in presenting surveys of methods and tools applied to the development of HPS (Jelly and Gorton 1994) but there are no frameworks or models similar to those applied to traditional software. There are many reasons for t h , the main one being the lack of life-cycle or software process models that describe the development of HPS.…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

A Formal Framework For Specifying Design Methods

d’Inverno

Justo

Howells

1996

Softw. Process: Improve. Pract.

View full text Add to dashboard Cite

Section: The Hi' Software Processmentioning

confidence: 99%

Section: Information Descriptionmentioning

confidence: 99%

Section: Information Descriptionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

A Formal Framework For Specifying Design Methods

d’Inverno

Justo

Howells

1996

Softw. Process: Improve. Pract.

View full text Add to dashboard Cite

“…Practitioners attempt to ensure equivalence between the various steps by checking the equivalence of each step with its preceding step. Some methods used to do this are formalized, and some are ad hoc; none are totally satisfactory (Bloom® eld andFroome 1991, Jelly andGorton 1994).…”

Section: Introductionmentioning

confidence: 99%

PN PLC: A methodology for designing, simulating and coding PLC based control systems using Petri nets

Taholakian¹,

Hales²

1997

International Journal of Production Research

View full text Add to dashboard Cite

Flexible manufacturing cells (FMCs) are well established as a means of improving manufacturing e ciency in many batch production industries. They consist of an integrated group of computer numerically controlled (CNC) machine tools, programmable logic controller (PLC) based work/tool handling equipment and a control system to synchronize their operation. The safe and reliable operation of FMCs is clearly essential for their e cient use. However, FMCs are complex systems with elements that operate concurrently and interact at irregular times, depending upon the components to be produced. This inherent complexity demands intricate and sophisticated control systems which require development methodologies that are both comprehensive and rigorous. In this paper the authors introduce a methodology (PN Û PLC) which uses Petri nets for producing correct programmable logic controller (PLC) programs directly from the speci® cations. The methodology is speci® cally contrasted with the bene® ts, and problems, encountered in using tools such as`ladder diagrams' (LDs) and sequential function charts' (SFCs) for designing logical control systems.PN Û PLC has advantages over ladder logic in clarity, which allows the program to be checked, maintained and updated reliably. Furthermore, the Petri net graph is a one-to-one equivalent of a ladder logic diagram, and thus either representation may be algorithmically translated to the other without loss of information. Finally, the rules for creating Petri net graphs, and subsequently translating them, are both simple and robust in use.

show abstract

A Formal Framework For Specifying Design Methods

d’Inverno¹,

Justo²,

Howells³

1996

Softw. Process: Improve. Pract.

View full text Add to dashboard Cite

The main objective of this paper is to put forward a software process model for high-performance systems (HPS), and to present a formal framework to describe software design methodologies (SDMs) for those systems. The framework consists of two main parts: the software process activities which characterise the development of HPS, and the components of the SDM (concepts, artifacts, representation and actions) which are essential for any methodology. The framework relates these two parts by identifying generic components of each activity in the software process that can be used to classify and evaluate SDMs for HPS. The framework has been formally specified using the language Z and used to derive formal specifications of SDMs. This is illustrated in the paper by presenting part of the specification of oDM (an occam design method).

show abstract

Software engineering for parallel systems

Cited by 20 publications

References 38 publications

A Formal Framework For Specifying Design Methods

A Formal Framework For Specifying Design Methods

PN PLC: A methodology for designing, simulating and coding PLC based control systems using Petri nets

A Formal Framework For Specifying Design Methods

Contact Info

Product

Resources

About