We present ARCHEx, a framework for cyber-physical system architecture exploration. We formulate the exploration problem as a mapping problem, where “virtual” components are mapped into“real”components from pre-defined libraries to minimize an objective function while guaranteeing that system requirements are satisfied. ARCHEx leverages an extensible set of patterns to enable formal, yet flexible, requirement specification, a graph-based internal representation of the system architecture, and algorithms based on mixed integer linear programming to solve the mapping problem. Its effectiveness is demonstrated on two industrial case studies: an aircraft power distribution network and a reconfigurable automated production line.

ArchEx: An extensible framework for the exploration of cyber-physical system architectures / Kirov, Dmitrii; Nuzzo, Pierluigi; Passerone, Roberto; Sangiovanni-Vincentelli, Alberto L.. - STAMPA. - (2017), pp. 1-6. ((Intervento presentato al convegno DAC 2017 tenutosi a Austin, TX nel 18th-22th June 2017 [10.1145/3061639.3062204].

ArchEx: An extensible framework for the exploration of cyber-physical system architectures

Dmitrii Kirov;Roberto Passerone;
2017

Abstract

We present ARCHEx, a framework for cyber-physical system architecture exploration. We formulate the exploration problem as a mapping problem, where “virtual” components are mapped into“real”components from pre-defined libraries to minimize an objective function while guaranteeing that system requirements are satisfied. ARCHEx leverages an extensible set of patterns to enable formal, yet flexible, requirement specification, a graph-based internal representation of the system architecture, and algorithms based on mixed integer linear programming to solve the mapping problem. Its effectiveness is demonstrated on two industrial case studies: an aircraft power distribution network and a reconfigurable automated production line.
Proceedings of the 2017 54th ACM/EDAC/IEEE Design Automation (DAC)
Piscataway, NJ
IEEE
978-1-4503-4927-7
Kirov, Dmitrii; Nuzzo, Pierluigi; Passerone, Roberto; Sangiovanni-Vincentelli, Alberto L.
ArchEx: An extensible framework for the exploration of cyber-physical system architectures / Kirov, Dmitrii; Nuzzo, Pierluigi; Passerone, Roberto; Sangiovanni-Vincentelli, Alberto L.. - STAMPA. - (2017), pp. 1-6. ((Intervento presentato al convegno DAC 2017 tenutosi a Austin, TX nel 18th-22th June 2017 [10.1145/3061639.3062204].
File in questo prodotto:
File Dimensione Formato  
KirovNuzzoPasseroneASV17DAC.pdf

Solo gestori archivio

Tipologia: Versione editoriale (Publisher’s layout)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 808.73 kB
Formato Adobe PDF
808.73 kB Adobe PDF   Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11572/195428
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 5
social impact