---
title: "ACC6037543 - Enhancing Morello with the seL4 kernel to increase security and resilience"
ocid: "ocds-b5fd17-2d4f49bc-2fd9-464c-a8e2-e74b06c9ba21"
canonical_url: "https://d3tenders.com/contract/?ocid=ocds-b5fd17-2d4f49bc-2fd9-464c-a8e2-e74b06c9ba21"
markdown_url: "https://d3tenders.com/contract/ocds-b5fd17-2d4f49bc-2fd9-464c-a8e2-e74b06c9ba21.md"
json_url: "https://d3tenders.com/contract/ocds-b5fd17-2d4f49bc-2fd9-464c-a8e2-e74b06c9ba21.json"
source: "Contracts Finder"
current_stage: "Award"
buyer: "DEFENCE SCIENCE AND TECHNOLOGY LABORATORY"
published: "2023-03-20"
---

# ACC6037543 - Enhancing Morello with the seL4 kernel to increase security and resilience

Buyer: DEFENCE SCIENCE AND TECHNOLOGY LABORATORY  
Current stage: Award  
OCID: ocds-b5fd17-2d4f49bc-2fd9-464c-a8e2-e74b06c9ba21

[View canonical contract page](https://d3tenders.com/contract/?ocid=ocds-b5fd17-2d4f49bc-2fd9-464c-a8e2-e74b06c9ba21)  
[Download OCDS JSON](https://d3tenders.com/contract/ocds-b5fd17-2d4f49bc-2fd9-464c-a8e2-e74b06c9ba21.json)

## Summary

The Defence Science and Technology Laboratory has awarded a contract to Mission Critical Application Limited for the project titled "Enhancing Morello with the seL4 kernel to increase security and resilience". The procurement falls under the industry category of Research and development services and related consultancy services. The contract value is £99,540, with a contract period starting on May 1, 2023, and ending on January 31, 2024. The tender was an open procedure (below threshold) and the tender period ended on November 14, 2022. The project is located in Salisbury, England with the buying organisation being the Defence Science and Technology Laboratory.

For businesses interested in this opportunity, focusing on research and development services, especially related to enhancing security and resilience, would be well-suited to compete. Small and medium-sized enterprises (SMEs) are deemed suitable for this contract. The project offers the chance for business growth through collaboration with the Defence Science and Technology Laboratory. With the contract spanning over several months, successful suppliers can leverage this opportunity to establish long-term relationships and showcase their expertise in research and development within the specified industry category.

## Notice

DASA Contract -Published For Transparency Purposes Only

## Key Details

| Field | Value |
| --- | --- |
| Publication source | Contracts Finder |
| Latest notice | https://www.contractsfinder.service.gov.uk/Notice/899bc14f-4f31-4e2e-a054-969a1a1fd05d |
| Notice type | Award Notice |
| Procurement type | Standard |
| Procurement category | Goods |
| Procurement method | Open |
| Procurement method details | Open procedure (below threshold) |
| Tender suitability | SME |
| Awardee scale | SME |
| All stages | Award |

## Dates

| Field | Value |
| --- | --- |
| Publication date | 20 Mar 2023 |
| Submission deadline | 14 Nov 2022 |
| Future notice date | Not specified |
| Award date | 16 Mar 2023 |
| Contract period | 30 Apr 2023 - 31 Jan 2024 |
| Recurrence | Not specified |

## Values

| Field | Value |
| --- | --- |
| Tender value | £99,540 |
| Lots value | Not specified |
| Awards value | £99,540 |
| Contracts value | Not specified |

## Status

| Field | Value |
| --- | --- |
| Tender status | Complete |
| Lots status | Not specified |
| Awards status | Active |
| Contracts status | Not specified |

## Buyer

| Field | Value |
| --- | --- |
| Main buyer | DEFENCE SCIENCE AND TECHNOLOGY LABORATORY |
| Locality | SALISBURY |
| Post town | Salisbury |
| Postcode | SP4 0JQ |
| Country | England |
| ITL 1 | TLK South West (England) |
| ITL 2 | TLK7 Gloucestershire and Wiltshire |
| ITL 3 | TLK72 Wiltshire |
| Local authority | Wiltshire |
| Electoral ward | Winterslow & Upper Bourne Valley |
| Westminster constituency | Salisbury |
| Delivery location | Not specified |

## Supplier

| Field | Value |
| --- | --- |
| Number of suppliers | 1 |
| Supplier names | MISSION CRITICAL APPLICATION |

## CPV Codes

### Divisions

- 73 - Research and development services and related consultancy services

### Codes

- 73000000 - Research and development services and related consultancy services

## Release History

- 20 Mar 2023 at 10:46 - Award - Award Notice - https://www.contractsfinder.service.gov.uk/Notice/899bc14f-4f31-4e2e-a054-969a1a1fd05d

## Documents

- https://www.contractsfinder.service.gov.uk/Notice/899bc14f-4f31-4e2e-a054-969a1a1fd05d
  20th March 2023 - Awarded contract notice on Contracts Finder
- https://www.contractsfinder.service.gov.uk/Notice/Attachment/09a1e58f-4379-457e-b676-b508a7f9866b
  Contract Purchase Agreement
- https://www.contractsfinder.service.gov.uk/Notice/Attachment/aec0a668-c87f-442f-950b-df6ce6fafd2f
  Contract Purchase Order

## Provenance

This Markdown file is an alternate public rendering of the D3 Tenders contract record. The canonical page is https://d3tenders.com/contract/?ocid=ocds-b5fd17-2d4f49bc-2fd9-464c-a8e2-e74b06c9ba21. The underlying structured data is available as OCDS JSON at https://d3tenders.com/contract/ocds-b5fd17-2d4f49bc-2fd9-464c-a8e2-e74b06c9ba21.json.