• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Formal Specification of a Protocol Processor

Tomi Westerlund, Juha Plosila, Formal Specification of a Protocol Processor. In: Embedded Computer Systems: Architectures, Modeling, and Simulation: 5th International Workshop, SAMOS 2005, Lecture Notes in Computer Science 3553, 122–131, 2005.

Abstract:

To ensure the correctness of functional and temporal properties of modern network hardware devices is becoming increasingly challenging because the growing complexity and demanding time-to-market requirements. In this paper we address the problem by deriving a TACO protocol processor model in the formal framework of Timed Action Systems. Formal methods offer a prominent approach to specify, design, and verify such devices with the benefits of a rigorous mathematical basis. The derivation demonstrates the capability of preserving correctness when considering an important hardware design decision.

BibTeX entry:

@INPROCEEDINGS{inpWePl05a,
  title = {Formal Specification of a Protocol Processor},
  booktitle = {Embedded Computer Systems: Architectures, Modeling, and Simulation: 5th International Workshop, SAMOS 2005},
  author = {Westerlund, Tomi and Plosila, Juha},
  volume = {3553},
  series = {Lecture Notes in Computer Science},
  pages = {122–131},
  year = {2005},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Publication Forum rating of this publication: level 1

Edit publication