Web
Education
Viewing 1-5 of 5 total results
Formal Reasoning for Air Traffic Control System Using ...
We present a formal modeling and verification of Air Traffic Control system (ATC) for airspace management. This system assists air traffic controllers by visualizing aircrafts in the airport vicinity. In such a critical-safety system, the use of robust formal methods that assure bugs absence is highly required.
Research - jalal.laassiri
In order to specify the executable behavior of a system and to make the processes of the Computational executable and controllable, the Reference Model for ODP RM-ODP can be used as a meta-model for behavioral specifications. In the Computational language, the behavior is a collection of actions with a set of constraints on when they may occur ......
Formal Description Techniques and Protocol Specification ...
26 Using a formal description technique to model aspects of a global air traffic telecommunications network J.H. Andrews, N.A. Day and J.J. Joyce 417 27 An experiment in using RT-LOTOS for the formal specification and verification of a distributed scheduling algorithm in a nuclear power plant monitoring System
Towards Sophisticated Air Traffic Control System Using ...
The specification of invariants and the specification of operations have the form of a predicate [10]. (v) The B method (development of the Z language) is a method of software development based on an abstract machine notation used in the development of computer software (B language) [11].
Professional Profile
Modeling the internet of things system using complex adaptive system concepts. In Proceedings of the 2nd International Conference on Computing and Wireless Communication Systems (p. 22). ACM. Jarrar, A., Bellasri, O., Chougdali, S., & Balouki, Y. (2017, November). Formal specification and verification of transmission control protocol.
|
iSEEK provides users with a Favorites library that allows them easy access to their most-used websites from any computer. If you have an iSEEK account, the content you just selected can be added to your Favorites page to be revisited any time you want.
If you would like to join the iSEEK community, click the "Register" button below to create your free iSEEK account. The resource you have selected will be added to your new Favorites library after you sign in for the first time.
If you already have an iSEEK account, click the button below to sign in and add the resource to your Favorites library.