[图书][B] Time-triggered communication
R Obermaisser - 2012 - api.taylorfrancis.com
Roman Obermaisser is a full professor for embedded systems at the Department of Electrical
Engineering and Computer Science of the University of Siegen in Germany. He studied …
Engineering and Computer Science of the University of Siegen in Germany. He studied …
Abstracting IoT protocols using timed process algebra and SPIN model checker
N Suresh Kumar, G Santhosh Kumar - Cluster Computing, 2023 - Springer
The advancement of the Internet of Things (IoT) has tremendously influenced many fields of
human life. The Internet of Medical Things, Internet of Flying Things, Internet of Floating …
human life. The Internet of Medical Things, Internet of Flying Things, Internet of Floating …
Reliability evaluation of mobile ad hoc networks: with and without interference
CV Rao, N Padmavathy… - 2017 IEEE 7th …, 2017 - ieeexplore.ieee.org
Mobile ad hoc network is a dynamic wireless communication network which are vulnerable
in reliability because of the topology configuration, infrastructureless characteristics, limited …
in reliability because of the topology configuration, infrastructureless characteristics, limited …
Model checking of in-vehicle networking systems with CAN and FlexRay
An in-vehicle networking (IVN) system consists of electronic components that are connected
by buses and communicate through multiple protocols according to their requirements. In …
by buses and communicate through multiple protocols according to their requirements. In …
Pipit on the Post: Proving Pre-and Post-Conditions of Reactive Systems
A Robinson, A Potanin - 38th European Conference on Object …, 2024 - drops.dagstuhl.de
Synchronous languages such as Lustre and Scade are used to implement safety-critical
control systems; proving such programs correct and having the proved properties apply to …
control systems; proving such programs correct and having the proved properties apply to …
Timeout and calendar based finite state modeling and verification of real-time systems
To overcome the complexity of verification of real-time systems with dense time dynamics,
Dutertre and Sorea proposed timeout and calender based transition systems to model real …
Dutertre and Sorea proposed timeout and calender based transition systems to model real …
Model checking of TTCAN protocol using UPPAAL
L Shuxin, N Yoshiura - Computational Science and Its Applications–ICCSA …, 2018 - Springer
Recent years, vehicles are becoming more and more intelligent and automatic. Some
experts estimate that more than 80% of all current innovations within vehicles are based on …
experts estimate that more than 80% of all current innovations within vehicles are based on …
A review on formal verification of basic algorithms in time triggered architecture
N Sheena, S Joseph - 2018 International Conference on …, 2018 - ieeexplore.ieee.org
In recent days time triggered architecture play a vital role in safety-critical real time
applications such as avionics, automotive industry and many other industrial cyber physical …
applications such as avionics, automotive industry and many other industrial cyber physical …
[PDF][PDF] Natural evaporation type salt manufacturing process resource management using distributed embedded system
H Lad, V Joshi, R Makavana - International Journal of Computer …, 2015 - researchgate.net
The conventional salt production a system in India is based on sea water solar evaporation
method with huge human intervenes. The Advance Control Decision Support system can …
method with huge human intervenes. The Advance Control Decision Support system can …
Formal verification of PKMv3 protocol using DT-spin
X Zhu, Y Xu, J Guo, X Wu, H Zhu… - … on Theoretical Aspects …, 2015 - ieeexplore.ieee.org
WiMax (Worldwide Interoperability for Microwave Access, IEEE 802.16) is a standard-based
wireless technology, which uses Privacy Key Management (PKM) protocol to provide …
wireless technology, which uses Privacy Key Management (PKM) protocol to provide …