Burns, Alan orcid.org/0000-0001-5621-8816 and Baruah, S (2023) Multi-Model Specifications and their application to Classification Systems. In: 31st International Conference on Real-Time Networks and Systems, proceedings. 31st International Conference on Real-Time Networks and Systems, 06-08 Jun 2023 ACM , 155–165.
Abstract
Many safety-critical systems are required to have their correctness validated prior to deployment. Such validation is typically performed using models of the run-time behaviour that the system is expected to exhibit and experience during run-time. However, these systems may be subject to different requirements under different circumstances; also, there may be multiple stakeholders involved, each with a somewhat different perspective on correctness. We examine the use of a multi-model framework based on assumptions (Pre and Rely conditions) and obligations (Post and Guarantee conditions) to represent the workload and resource related needs of complex AI system components such as DNN classifiers. We identify three kinds of multi-models that are of particular interest: Independent, Integrated and Hierarchical. All the individual models comprising an independent multi-model must remain valid at all times during run-time; at least one of the models comprising an integrated multi-model must always be valid. With hierarchical multi-models all models are initially valid but the component's behaviour may gracefully degrade through a series of models with successively weaker assumptions and commitments (we show that Mixed-Criticality Systems, widely studied in the real-time computing community, are particularly well-suited for representation via hierarchical multi-models). We explain how this modelling framework is intended to be used, and present algorithms for determining the worst-case timing behaviour of systems that are specified using multi-models.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | This is an author-produced version of the published paper. Uploaded in accordance with the University’s Research Publications and Open Access policy. |
Keywords: | Real-time analysis,Mixed Criticality |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Depositing User: | Pure (York) |
Date Deposited: | 06 Jul 2023 13:00 |
Last Modified: | 06 Nov 2024 02:13 |
Published Version: | https://doi.org/10.1145/3575757.3575760 |
Status: | Published |
Publisher: | ACM |
Identification Number: | 10.1145/3575757.3575760 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:201271 |