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[…]