Abstract | ||
---|---|---|
The complexity of cyber-physical systems (CPSs) poses new challenges in their design, model checking and maintenance. The hardware and software designers are in search, more than ever, for simple and interoperable approaches that render the complexity of CPSs a treatable matter. In this work, database language is suggested as an enabling technology and a lean technique to the purpose. An example with best available embedded database technology is conducted by means of a deployment test on tiny embedded electronics. |
Year | DOI | Venue |
---|---|---|
2017 | 10.1109/INDIN.2017.8104758 | 2017 IEEE 15th International Conference on Industrial Informatics (INDIN) |
Keywords | Field | DocType |
embedded electronics,cyber-physical system,relational database,multi-agent systems | SQL,Model checking,Software deployment,Systems engineering,Computer science,Interoperability,Embedded database,Software,Logic programming,Relational model | Conference |
ISSN | ISBN | Citations |
1935-4576 | 978-1-5386-0838-8 | 0 |
PageRank | References | Authors |
0.34 | 12 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
A. Bonci | 1 | 24 | 7.13 |
Massimiliano Pirani | 2 | 19 | 6.59 |
Aldo Franco Dragoni | 3 | 216 | 38.16 |
Alessandro Cucchiarelli | 4 | 226 | 36.38 |
Sauro Longhi | 5 | 522 | 70.87 |