CIRCAL and the representation of communication, concurrency, and time
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Communicating sequential processes
Communicating sequential processes
Software engineering standards
Software engineering standards
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Introduction to Formal Hardware Verification: Methods and Tools for Designing Correct Circuits and Systems
Communication and Concurrency
Systems Level Specification and Modeling of Reactive Systems: Concepts, Methods, and Tools
EUROCAST '95 Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory
| Hi-index | 0.00 |
The increasing complexity of modern telecommunication systems is one of the main issues encountered in most telecom products. Despite the plethora of methods and tools for efficient system design, verification and validation phases are still consuming significant part of the overall design time. The proposed approach outlines the use of the B method/language for producing correct-by-construction implementations of telecommunication systems. The method described is supported by appropriate tools that automate the process of proving that system properties are maintained during the various design stages. The feasibility of the latter is evaluated in practice through the design of a real world telecom application, borrowed from the domain of wireless telecommunication networks.