Hello, we are Knowledge Inside. For 18 years we have been improving arKItect, an easy and intuitive tool
(MBSE, process, architecture...) used by systems engineers who want to
work efficiently. arKItect is collaborative, and based on simple and logical rules. Its viewpoints and views are generated automatically which ensures your data consistency. You can quickly configure it according to your own processes and approach.
Previous
Next
OUR DATA INTEGRATION PLATFORM ARKITECT
Easy to use – because of our ergonomics and simple foundations
Easy to validate – Wysiwyg through our powerful visualization technology
Agile – start small and grow fast
Consistent – rely on formal logical foundations of our technology
Opened – get and put data through open APIs
Resilient – through configuration management and upgrades management
Universal – systems are made of systems in interaction: that perfectly fits our modelling approach.
Andrew Samokish will give a presentation the Tuesday, September 10, 2024 at TLA+ Community Event 2024 at Milano, Italy (4.20 pm) on a model-based approach for the formal verification of specification: architect