Validation of Bosch ' Mobile Communication
نویسنده
چکیده
This paper discusses validation projects carried out for the Mobile Communication Division of Robert Bosch GmbH. We veriied parts of their Mobile Communication Network (MCNet), a communication system which is to be used in infotainment systems of future cars. The protocols of the MCNet have been modelled in Promela and validated with Spin. Apart from the validation results, this paper discusses some observations and recommendations of the use of Promela and Spin.
منابع مشابه
Validation of Bosch' Mobile Communication Network Architecture with Spin
This paper discusses validation projects carried out for the Mobile Communication Division of Robert Bosch GmbH. We veri ed parts of their Mobile Communication Network (MCNet), a communication system which is to be used in infotainment systems of future cars. The protocols of the MCNet have been modelled in Promela and validated with Spin. Apart from the validation results, this paper discusses...
متن کاملVehicular Networks: A Survey on Architecture, Communication Technologies and Applications
The Intelligent Transportation System (ITS) provides wireless and mobile communication between vehicles and infrastructure to improve the safety of transportation and make the journey more enjoyable. This system consists of many fixed and mobile nodes (Vehicles, Trains, Vessels, Air planes), Wireless and Wired Telecommunication Technologies to exchange information between mobile nodes or betwee...
متن کاملConnection Interface Designing for Grid and Mobile Devices
There area lot of mobile computer devices with a variety of applications and users Tend to use them more. Due to the limitations of mobile devices, running most of the procedures are impossible. To resolve this problem, mobile devices can be connected to the grid, to use the facilities of grid. On the other hand the communication mechanisms are different for each device and they cannot be c...
متن کاملConnection Interface Designing for Grid and Mobile Devices
There area lot of mobile computer devices with a variety of applications and users Tend to use them more. Due to the limitations of mobile devices, running most of the procedures are impossible. To resolve this problem, mobile devices can be connected to the grid, to use the facilities of grid. On the other hand the communication mechanisms are different for each device and they cannot be c...
متن کاملImpact of the Mobile App “Cognogene” on University Students' Communication Skills
Introduction: The notion of electronic mental health care is suggested in today's world. With the aid of this care, people's talents are no longer limited by time or location, and those in need of mental health care can get these services by downloading and installing software on their mobile devices. The Cognogene application software has been created to provide electronic mental health servic...
متن کامل