Skip to main content
DORAS
DCU Online Research Access Service
Login (DCU Staff Only)
Interference analysis for dependable systems using refinement and abstraction

Pahl, Claus ORCID: 0000-0002-9049-212X (2002) Interference analysis for dependable systems using refinement and abstraction. In: Symposium Formal Methods Europe FME'2002., 22-24 Jul 2002, Copenhagen, Denmark..

Full text available as:

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
242kB

Abstract

A common requirement for modern distributed and reactive systems is a high dependability guaranteeing reliability and security. The rigorous analysis of dependable systems specifications is of paramount importance for the reliability and security of these systems. A two-layered modal specification notation will allow the specification of services and protocols for distributed dependable systems and their properties. Refinement and its dual – abstraction – will play the key roles in an integrated development and analysis framework. Refinement and abstraction form the basis for an interference analysis method for security properties and for automated test case generation.

Item Type:Conference or Workshop Item (Paper)
Event Type:Conference
Refereed:Yes
Uncontrolled Keywords:distributed systems; interference analysis; refinement; abstraction
Subjects:Computer Science > Software engineering
DCU Faculties and Centres:DCU Faculties and Schools > Faculty of Engineering and Computing > School of Computing
Published in: FME 2002:Formal Methods—Getting IT Right. Lecture Notes in Computer Science 2391. Springer-Verlag.
Publisher:Springer-Verlag
Official URL:http://www.springerlink.com/content/w0tvv7bdm2k14dfj/
Copyright Information:© 2002 Springer-Verlag. The original publication is available at www.springerlink.com
Use License:This item is licensed under a Creative Commons Attribution-NonCommercial-Share Alike 3.0 License. View License
ID Code:15929
Deposited On:24 Jun 2011 11:54 by Shane Harper . Last Modified 19 Jan 2021 17:19

Downloads

Downloads per month over past year

Archive Staff Only: edit this record

Altmetric
- Altmetric
+ Altmetric
  • Student Email
  • Staff Email
  • Student Apps
  • Staff Apps
  • Loop
  • Disclaimer
  • Privacy
  • Contact Us