Howdy Logo
Glossary Hero image

The Howdy Glossary

Search terms in Glossary


Chaos is a programming language for developing real-time systems. It specializes in communicating between different parts of the system and managing parallel processing. The language has been used in avionics, automotive, and other industries where highly reliable code is essential. Developed by AdaCore, it's often used in conjunction with the Ravenscar profile or similar safety-critical profiles in Ada development environments, ensuring that programs meet high-integrity requirements while still allowing for some of the flexibility and expressiveness associated with modern programming languages. Chaos makes working within these constraints more manageable by automating many aspects of program verification that would be cumbersome if performed manually.