Enhancement of Morello Platform with seL4 Kernel for Security and Resilience by DSTL
Defence Science and Technology Laboratory · Awarded contract
AwardedEnhancement of Morello Platform with seL4 Kernel for Security and Resilience by DSTL
Awarded 30 Apr 2023
Awarded30 Apr 2023
Value£99,540.00
RegionUnited Kingdom
CategoryDefense & Aerospace
Ended 2y 9mo ago9mo term
Awarded 30 Apr 2023Expired 31 Jan 2024
About
The Defence Science and Technology Laboratory awarded a contract to Mission Critical Application Limited for enhancing the Morello platform with the seL4 kernel to increase security and resilience.
The contract, valued at AUD 99,540, was published for transparency purposes.
Similar open tenders12
TenderCloses
703340450 - Procurement and In-Service Support of Man-Portable Digital X Ray SystemDefense & Aerospace
25 Sep 2029
Development and Delivery of Security Academy – Derry City & Strabane Labour Market Partnership (DSLMP)Education & Training
13 Nov 2026
Provision and Support of Mobile Test Facility Vehicle for Tactical Data Link Testing – UKDefense & Aerospace
30 Apr 2027
Commercial X Dynamic MarketDefense & Aerospace
30 Jun 2031
Provision of Operational Digital Cognitive & Multimodal Assessment Platform – King's College LondonIT & Software
31 Dec 2027
Cyber Accelerator Programme – Design Partnerships to Link Public-Sector Cyber Challenges with SME SolutionsIT & Software
27 Nov 2026
Digital Forensic Services Dynamic Purchasing System (8-year) – Bluelight CommercialPublic Safety & Security
28 Feb 2027
In-Orbit Manufacturing (IOM) Maturation R&D Projects – UK Space AgencyResearch & Development
27 Nov 2026
Spark — The Technology Innovation MarketplaceIT & Software
16 Feb 2029
Voyager Intelligent Document Management System Contract — G-Cloud 14 (RM1557.14) Lot 2IT & Software
30 Nov 2026
Spark – Technology Innovation Marketplace DPS for Public Sector Procurement (extended to 15/11/2026)IT & Software
13 Feb 2029
Lightweight x-ray capabilityDefense & Aerospace
31 Mar 2030
Other similar contracts12
Contract and supplierAwarded value
Award of Embedded Rust for Morello in Defence Applications Contract to University of KentDefense & AerospaceThe University Of Kent
$87,763.05
Software Re-engineering and Hardware Integration for RF Signal Processing to DSTLDefense & AerospaceADVANCED EMBEDDED SOLUTIONS LTD
$46,175
Provision of Subject Matter Expert Services for NSoIT Collaborative and Core Applications Platform to the Ministry of DefenceIT & SoftwareL.A. INTERNATIONAL COMPUTER CONSULTANTS LIMITED
$156,000
Secure Application Development Stack Contract Awarded to eCoraDLT LimitedIT & SoftwareeCoraDLT Limited
$148,800
Supply of More4Apps Software Licenses to Defence Science and Technology LaboratoryIT & SoftwareMore4Apps UK Limited
$16,694
Software Upgrade for Defence Science and Technology Laboratory (SEII)IT & SoftwareSonalysts INC
$137,292.33
Application Development Environment Contract Awarded to SecureCloud+ Limited by DSTLIT & SoftwareSECURECLOUD+ LIMITED
$919,875
Feasibility Study for Memory-Safe O-RAN Demonstrator Using CheriBSD on Morello HardwareResearch & DevelopmentCapabilities LTD
$67,972
Hardware Upgrade for Defence Science and Technology LaboratoryIT & SoftwareDell Corporation Ltd
$64,470.95
Supply of Security Operations Centre Hardware to Science and Technology Facilities CouncilIT & SoftwareDell Corporation Ltd
$333,490.77
Provision of DevSecOps Engineer Resources for the D2S Platform by CACI LimitedIT & SoftwareCACI Limited
$360,006
Investigation into Alternative ISO Container Loading and Securing Methods for DSTLResearch & DevelopmentInnovate UK Business Connect
$15,000
Unlock the full platform.
7 days free, then £36/GBP per month. Cancel anytime.
What you get
Find
Find defense and aerospace tenders in United Kingdom in one place.
We monitor central, devolved and local government portals in near real time and update the feed as tenders are published, so you check one place instead of many.
Search by keyword, or describe your workType a keyword, or switch to AI search and say what your business does.
Narrow it downFilter by category, region and area, or view open tenders on a map.
Enhancement of Morello Platform with seL4 Kernel for Security and Resilience by DSTL
Won by Mission Critical Application Limited · Defence Science and Technology Laboratory
£100Kawarded
Alerts
Open tenders like this contract, sent to you.
Tell us what you are looking for and we email you when a matching tender is published.
Set it up your wayUse keywords, a description of your work, a location or a distance from a postcode. Up to 10 alerts.
Instant or dailyGet an email when a match is published, or one summary a day.
GmailGovMarketto you
7:00 am2 new defense and aerospace tenders
703340450 - Procurement and In-Service Support of Man-Portable Digital X Ray SystemDefense & Aerospace · Closes 25 Sep 2029
Development and Delivery of Security Academy – Derry City & Strabane Labour Market Partnership (DSLMP)Education & Training · Closes 13 Nov 2026
From your alert: Defense & Aerospace
Assess
Size up a tender in minutes.
Before you open a single document, get the requirements, a likely value and who you would be up against.
Requirements from the documentsWho can bid, mandatory criteria, how it is scored, insurance and key dates, each with its source.
Value and competitionAn estimated value from similar awarded contracts, and the suppliers most likely to bid.
Key requirementsFrom 12 documents
Who can bidRegistered commercial cleaners
Mandatory criteriaPolice checks for staff on site
How it is scoredPrice 40%, experience 35%, method 25%
Insurance£20M public liability
Key datesSite visit 14 Oct, closes 28 Oct
Est. value£1.2M – £1.8M
Most likely bidderFacilities firm
Market
Follow Mission Critical Application Limited and get alerts when they win again.
Awarded contracts with the supplier and the value, so you can check prices, spot competitors and find work that is coming back to tender.
Supplier and buyer profilesWhat each one has won or awarded, who they work with, and how that is changing.
Contracts ending soonTerms that finish in the next 12 months, which often go back out to tender.
E
Top suppliersEastmere Health ServiceBuyer · 38 contracts
£30.5Mawarded, 12 months
Halvern Facilities8 contracts£12.4M
Orrin Clinical5 contracts£9.1M
Tessel Cleaning Co11 contracts£6.8M
Wexby Linen14 contracts£2.2M
Pipeline
Track your bids from interested to won.
Save a tender in one click and move it through each stage as you work on it.
Work as a teamInvite colleagues so you work from the same list.
Take it with youExport tenders and matches to CSV.
Interested2
Preparing1
Submitted1
Won1
Grounds maintenance panelSaved to your pipeline
InterestedGovBot
Ask a question in plain English.
Find tenders, look up a supplier, or check who won a contract. Just type what you need.
Who wins defense and aerospace contracts in United Kingdom?
Top suppliers by awarded value
1
2
3
Ask about tenders, suppliers or public bodies
Get started
Get defense and aerospace tenders in United Kingdom by email.
Find the tender, size it up and track the bid, in one place.
7 days free, then £36/GBP per month
