Design, implementation and validation of a generic and reconfigurable protocol stack framework for mobile terminals

Author

Schöler, Thorsten ; Müller-Schloer, Christian

Author_Institution

Inf. & Commun. Mobile, Technol. & Innovation, Siemens AG, Munich, Germany

fYear

2004

fDate

23-24 March 2004

Firstpage

362

Lastpage

367

Abstract

We introduce a modular and reconfigurable software framework for protocol stacks implemented in platform independent manner. Simulation tools useful for software validations are introduced and a new distributed, three-staged procedure for validation of protocol stack software is proposed. Assertion-based virtual prototyping (based on nonresident assertions), utilising simulation of hardware software co-systems as well as software probes containing code-resident assertions are used in the proposed validation process.

Keywords

formal verification; mobile computing; protocols; software architecture; software prototyping; assertion-based virtual prototyping; code-resident assertions; hardware software cosystems; mobile terminals; protocol stack software; reconfigurable protocol stack framework; simulation tools; software probes; software validations; Application software; Communication system security; Computational modeling; Computer architecture; Mobile communication; Mobile computing; Protocols; Software libraries; Software tools; System software;

fLanguage

English

Publisher

ieee

Conference_Titel

Distributed Computing Systems Workshops, 2004. Proceedings. 24th International Conference on

Print_ISBN

0-7695-2087-1

Type

conf

DOI

10.1109/ICDCSW.2004.1284055

Filename

1284055