Reusable formal models for concurrency and communication in custom real-time operating systems.
Julius AdeltJulian GebkerPaula HerberPublished in: Int. J. Softw. Tools Technol. Transf. (2024)
Keyphrases
- address space
- operating system
- formal models
- real time
- computer systems
- rule based systems
- formal model
- virtual memory
- multi threaded
- virtual machine
- interprocess communication
- distributed systems
- process model
- windows xp
- software systems
- multi tasking
- communication networks
- object oriented
- control system
- database systems
- databases