Formal virtualization requirements for the ARM architecture.
Niels PennemanDanielius KudinskasAlasdair RawsthorneBjorn De SutterKoen De BosscherePublished in: J. Syst. Archit. (2013)
Keyphrases
- formal model
- real time
- management system
- network architecture
- cloud computing
- operating system
- commercial off the shelf
- reference model
- design goals
- heterogeneous environments
- architectural design
- user requirements
- design methodology
- software architecture
- formal methods
- requirements engineering
- high availability
- resource management
- master slave
- design principles
- business requirements
- requirements specification
- ibm zenterprise