uu.seUppsala University Publications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Distributed computing and safety critical systems in Ada
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Division of Computer Systems. Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
2000 (English)Doctoral thesis, comprehensive summary (Other academic)
Abstract [en]

A system architecture for building large distributed real-time systems is presented. By placing the core run-time system (RTS) functionality in a edicatednetwork node, called the controller, distribution of a single Ada 83 program with preservation of the tasking semantics is possible. RTS proxies on the architecture's processing nodes communicate with the controller over a high-speed network. The communication overhead is shown to be acceptable. Thiswork includes the development of an algorithm for task termination intendedfor hardware implementation.

A model for distributed systems in Ada 95 based on the Linda model ispresented. The implementation treats Linda tuples as typed objects in theirown right. This type safe Linda is adopted as a distributed shared memory forthe implementation of shared passive packages.

A formal model of a run-time kernel for the Ada 95 Ravenscar subset suitablefor safety critical systems is presented. The kernel and applications are modelledusing timed automata. Both functional and timing properties of the kernelas well as timing properties of the application are verified using the real-time model checker UPPAAL. Guidelines for transforming Ada applications into timed automata are given.

Place, publisher, year, edition, pages
Uppsala: Acta Universitatis Upsaliensis , 2000. , 204 p.
Series
DoCS, ISSN 0283-0574 ; 114
National Category
Computer and Information Science
Research subject
Computer Systems
Identifiers
URN: urn:nbn:se:uu:diva-1173ISBN: 99-3230663-0 OAI: oai:DiVA.org:uu-1173DiVA: diva2:160725
Public defence
2000-04-14, Lecture hall ("Aula"), at Polacksbacken, Uppsala University, Uppsala, 10:15
Available from: 2000-03-24 Created: 2000-03-24 Last updated: 2011-02-18Bibliographically approved

Open Access in DiVA

No full text

By organisation
Division of Computer SystemsComputer Systems
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 861 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf