How to use TLA+ with arKITect

How to use TLA+ with arKITect It’s now possible to interface arKItect with formal proof environements. Today we talk about TLA+ interface. There is now the possibility to configure a TLA+ export from an arKItect model. This can help validating your requirements early in the design process. TLA+ is a high-level language for modeling programs Read more about How to use TLA+ with arKITect[…]

New release 5.1 arKItect

We are very proud to announce release 5.1, the new version of arKItect. The new arKItect release includes new features that will allow two very important new capabilities with arKItect platform: You can now design your system from functions to implantation in arKItect: 2D views capability allows managing geometric properties of objects, determine dimensions of Read more about New release 5.1 arKItect[…]

arKItect now integrates 2D diagrams and viewpoints

👉We are very happy to inform you that 𝐚𝐫𝐊𝐈𝐭𝐞𝐜𝐭 𝐧𝐨𝐰 𝐢𝐧𝐭𝐞𝐠𝐫𝐚𝐭𝐞𝐬 𝟐𝐃 𝐝𝐢𝐚𝐠𝐫𝐚𝐦𝐬 𝐚𝐧𝐝 𝐯𝐢𝐞𝐰𝐩𝐨𝐢𝐧𝐭𝐬. Although many functional and non functional requirements have nothing to do with geometric constraints, some requirements do and support of geometric diagrams makes their description and verification much easier. ✔️ About unique arKItect user experience, a reminder ✔️ About ability Read more about arKItect now integrates 2D diagrams and viewpoints[…]

JFLA 2023

📢 We are happy to inform you that 𝐀𝐧𝐝𝐫𝐞𝐢 𝐒𝐚𝐦𝐨𝐤𝐢𝐬𝐡 will make a presentation at 𝐉𝐅𝐋𝐀 𝟐𝟎𝟐𝟑. He will present a translation from arKItect models into Coq theorem prover. This provides the opportunity to specify and demonstrate formally 𝐩𝐫𝐨𝐩𝐞𝐫𝐭𝐢𝐞𝐬 𝐨𝐟 𝐚𝐫𝐊𝐈𝐭𝐞𝐜𝐭 𝐬𝐲𝐬𝐭𝐞𝐦 𝐦𝐨𝐝𝐞𝐥𝐬 with a best-in-class formal environment. Our focus here is 𝐬𝐚𝐟𝐞𝐭𝐲 𝐚𝐧𝐚𝐥𝐲𝐬𝐢𝐬. Choice of Coq Read more about JFLA 2023[…]

Process model including the scope of 15288

📢 Very happy to introduce 𝐩𝐫𝐨𝐜𝐞𝐬𝐬 𝐦𝐨𝐝𝐞𝐥 𝐢𝐧𝐜𝐥𝐮𝐝𝐢𝐧𝐠 𝐭𝐡𝐞 𝐬𝐜𝐨𝐩𝐞 𝐨𝐟 𝟏𝟓𝟐𝟖𝟖 𝐚𝐧𝐝 𝐩𝐫𝐨𝐣𝐞𝐜𝐭 𝐦𝐚𝐧𝐚𝐠𝐞𝐦𝐞𝐧𝐭 𝐚𝐧𝐝 𝐚𝐥𝐥 𝐞𝐧𝐭𝐞𝐫𝐩𝐫𝐢𝐬𝐞 𝐚𝐫𝐜𝐡𝐢𝐭𝐞𝐜𝐭𝐮𝐫𝐞 𝐩𝐫𝐨𝐜𝐞𝐬𝐬𝐞𝐬 𝐚𝐫𝐨𝐮𝐧𝐝. We have been investigating the topic of ISO 15288/ISO15289 for long. For those who don’t know, 𝐈𝐒𝐎 𝟏𝟓𝟐𝟖𝟗 𝐝𝐞𝐬𝐜𝐫𝐢𝐛𝐞𝐬 𝐚𝐥𝐥 𝐭𝐡𝐞 𝐢𝐭𝐞𝐦𝐬/𝐝𝐨𝐜𝐮𝐦𝐞𝐧𝐭𝐬 𝐞𝐱𝐜𝐡𝐚𝐧𝐠𝐞𝐝 𝐛𝐞𝐭𝐰𝐞𝐞𝐧 𝐥𝐢𝐟𝐞𝐜𝐲𝐜𝐥𝐞 𝐩𝐫𝐨𝐜𝐞𝐬𝐬𝐞𝐬 𝐨𝐟 𝟏𝟓𝟐𝟖𝟖. 👉 You will find the model here Read more about Process model including the scope of 15288[…]

Our presentation at the conference INCOSE IS 2022

🔊 Come and listen to our presentation « 𝐇𝐨𝐰 𝐜𝐚𝐧 𝐰𝐞 𝐟𝐚𝐢𝐭𝐡𝐟𝐮𝐥𝐥𝐲 𝐦𝐨𝐝𝐞𝐥 𝐬𝐲𝐬𝐭𝐞𝐦𝐬 𝐦𝐚𝐝𝐞 𝐨𝐟 𝐦𝐢𝐥𝐥𝐢𝐨𝐧𝐬 𝐨𝐟 𝐩𝐚𝐫𝐭𝐬 ? » at the next conference 𝐈𝐍𝐂𝐎𝐒𝐄 𝐈𝐒 𝟐𝟎𝟐𝟐 ! 👉 Find on page 107 the abstract of Samuel Boutin’s presentation : here  📍 Join us for the conference 𝐈𝐍𝐂𝐎𝐒𝐄 𝐈𝐒 𝟐𝟎𝟐𝟐 and find all the Read more about Our presentation at the conference INCOSE IS 2022[…]