ARCHitectural EXploration framework (ArchEx 2.0) is a Matlab framework for developing, formulating and solving architecture exploration problems for Cyber-Physical Systems (CPS).

Currently, all documentation on how to install and use ArchEx is stored online in this wiki. Please refer to corresponding wiki pages:

• Installation
• Getting started with ArchEx
• Requirement patterns
• Strategies for solving MILP
• Solver options
• Demo: Electrical power distribution network (EPN)
• Demo: Reconfigurable production line (RPL)
• Problem description file
• Library file
• Formulating your own problem (EPN or RPL)
• Creating a new ArchEx problem
• Debugging

Publications

Detailed information about the methodology behind ArchEx, its implementation and evaluation can be found in the following publications:

• D. Kirov, P. Nuzzo, R. Passerone and A. Sangiovanni-Vincentelli. "ArchEx: An Extensible Framework for the Exploration of Cyber-Physical System Architectures", in Proc. of the 54 DAC, June 2017.
• N. Bajaj, P. Nuzzo, M. Masin and A. Sangiovanni-Vincentelli. "Optimized Selection of Reliable and Cost-Effective Cyber-Physical System Architectures", in Proc. of DATE, March 2015.
• P. Nuzzo, et al. "A contract-based methodology for aircraft electric power system design", IEEE Access, vol. 2, pp. 1-25, 2014.