Minerva Systems SRL

We offer

• Test and Verification Software
• Methods and Tools for Secure Embedded Systems
• Static and Run-Time Analysis Tools
• Other Tools and Software
• Embedded Linux
• Real-Time Operating Systems
• Embedded Operating Systems
• Secure Embedded Operating Systems
• Virtualization Software, Hypervisors
• Firmware and Driver Development
• Software Development for Secure Systems (Security)
• Software Development for Functionally Safe Systems (Safety)
• Consulting