Upload
others
View
4
Download
0
Embed Size (px)
Citation preview
• ) . . .
(
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 2
Cyber Physical Systems
Internet-of-things
The Internet
Embedded Systems
Wireless sensor
networks
Mobile networks
Satellite networks
• , , ( ( ),, , , , ,
• , - )( , ( ( , , , , )( , ( (• , , , , ( , ( , -,( , -• , ( ( , ( - ( , , , ( ( ( ,
• , - ( , - (• - ( , , ), , , , , , , (
• ( - , , - ( , , ( , ) ,
Ø Ø
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 3
:§ : -: -: ) : )
§ -: :
§ -: : :
§ -: : ( :
§ - : :
§ - : -:
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 4
- - ,-• , I D ED > D ) B> D D B D• -, , , ,- -• C B AD E C C > D C >A BC
• -, , , ,-• CDB D F C & AD CI D C C
• ,
• C >C D C ED B C B AD C CICD > D A I• +/ & CEAA BDC C D B D C B AD C > C• & >A D C B AD A BDC• EC C B AD D B C• C C B AD D C
• - C >C D B CD B >• & D CEAA BD C L -C M CC C• EAA BDC B D C & >AED D C &C• (HD C C D CEAA BD > H C C >E D > K -
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 5
•
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 6
IP-XACT component description(interface)
IP-XACT design description
(connection)
System Architecture
Builder
System Implementation
BuilderNon-functional models libraries
SystemC-AMS module and
interface
SystemC-AMS complete system
Reliability (Aging) layer
Layer-specific data
Temperaturelayer
Powerlayer
FunctionallayerFunctional BUS +
Arbiter
CnC1 C2 …
Temperature BUS + Arbiter
C1 C2 Cn
Power BUS + Arbiter
C1 C2 Cn…
…
Reliability BUS + Arbiter
C1 C2 Cn
- - - -
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 7
Reliability layer (Aging)
Layer-specific data
Temperaturelayer
Powerlayer
FunctionallayerFunctional BUS +
Manager
CnC1 C2 …
Temperature BUS + Manager
C1 C2 Cn
Power BUS + Manager
C1 C2 Cn…
…
Reliability BUS + Manager
C1 C2 Cn
Layer-specific signals
Inter-layer signals
Layer-specific data flow
Inter-layer time converters
• -
• -ü
ü
ü
ü
• -ü
ü
ü
ü
ü ü
• Sara Vinco, Yukai Chen, Franco Fummi, Enrico Macii, and Massimo Poncino. “A
Layered Methodology for the Simulation of Extra-Functional Properties in Smart Systems.” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2017
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 8
:§ : -: -: ) : )
§ -: :
§ -: : :
§ -: : ( :
§ - : :
§ - : -:
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 9
Reliability (Aging) layer
Layer-specific data
Temperaturelayer
Powerlayer
FunctionallayerFunctional BUS +
Arbiter
CnC1 C2 …
Temperature BUS + Arbiter
C1 C2 Cn
Power BUS + Arbiter
C1 C2 Cn…
…
Reliability BUS + Arbiter
C1 C2 Cn
- - - ,• ( )• ) ( ) - -• >( .> ) -> >
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 10
Power
Smart systems(SoCs, SiPs)
O(mW) O(W) O(kW) O(MW)•scavenger(s)• converters• storage•management HW
•Storage• converters•management HW and SW,•scavenger (opt)
• Power sources (PVs and grid, engine)
• hybrid storage•multiple converters (DC and AC)• distribution network•management SW and HW
Embeddeddevices
• Power source (grid)• hybrid storage•multiple converters (DC and AC)• distribution network•management SW and HW
Home PV plant
HEV cars
W/subW scale kW scale MW scale
Energy distribution,smart grids
Battery farms
ü -> . :( >: > ) > ): - :
ü . - ) :
:
• -
• •
•• -• /
• -• -•
•
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 11
PowerSource
HHarvested Quantity
EEnvironment
ICurrentV
Voltage
2 5 5. 0 75 5 . %5 2• 6 .332 0 6 16 6 63 2 .3• 32 . 0 2 1. .3. 2 3 2 2 .8 2 3. 6 .3• 1. 2 2 . 2 2 6 6 . 1 6 6
• 1. 1.. 6 6 . 16 6 63 2 .3
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 12
7 7757 % 7757
2 5
• . . . . . -. . ( (• . -. .• -. . -. . . - . .-• . . . - .-• -
• ( . . . . -. - . . - .. . . (
• ) . . . . -• . -. . . . . . .• ( . - . . . . .
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 13
• . . - .- .• . .
) (• ! ! ! ) )
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 14
The difference of lifetime of battery caused by the different current magnitudes.
! !
( ( ( ( (• .• B -B - :• - B. B - B
• : ? ? - - B
• ) ( ( ( ( ( ( ) ( ) ( (
• ?• , ) ( ( !• :? !
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 15
• , , ,, , , .• ., , , , , ., , , . , , , . ,
, . , ., , , , • , , , , ,
• , , , , , , , , , ,, , , , , , . ,
! = #$%&''()&*+,&'-.'()&*
• . ,• , . , , , ,• . , , ., ,• , . ,• , , ,• ,, , , . , ,
,
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 16
• > =>= 4 =4 : = 1C1 :12 : E = 1 : E> = = 1 =
1 41 1 1 :E 1 : 1 D= 4 3 1 3 C = D= 4 4 3 13
• > = > =>= 4 =4=:= E
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 17
• / > )1:3 :1 E 1 1 3 = = :=14 3 ( ,
• / > )1:3 :1 4 3 1 1 1 3 = = :=14 3 ( ,
• / > )1:3 :1 >=D 1 1 3 = = :=14 3 ( - , , ,
• / > C > 3 3 .1 = ) C ( .
• ( (
• ( ( ) ) ) ) )
• )
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 18
- 1 1• ( ) ( * * * *) * ( (
( )* ) * * )
• ) (*) ) * ) ) ( 1• * * * * ( * ( * * ( *
• * * * ( ) ( * ) ) * ( )*)
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 19
! !• , , , ( ( , /( ,() , )( , ,• , , ( ,• , / /( , • , ( , ( , /( , • /( , /( , ,
• , ( ( , ( , /( ,
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 21
! !
SOC
SOCeod
100%
SOCCV
Tplug-in
time
Delayed charge (ALAP) @Icc,nom
Slow charge (ASAP) @Icc,min
Standard charge @Icc,nom
SOCeod
100%
SOCCV
Tplug-in
time
Delayed charge (ALAP) @Icc,nom
Slow charge (ASAP) @Icc,min
Standard charge @Icc,nom
Aging-optimal @ IccIcc,min < I cc <I cc,nom
• Yukai Chen, Enrico Macii, and Massimo Poncino. “Frequency domain characterization of batteries for the design of energy storage
subsystems.” In Very Large Scale Integration (VLSI-SoC), 2016 IFIP/IEEE International Conference on, pp. 1-6. IEEE, 2016.
• Sara Vinco, Yukai Chen, Enrico Macii, and Massimo Poncino. “A unified model of power sources for the simulation of electrical energy systems.” In Proceedings of the 26th edition on Great Lakes Symposium on VLSI, pp. 281-286. ACM, 2016.
• Yukai Chen, Enrico Macii, and Massimo Poncino. “A circuit-equivalent battery model accounting for the dependency on load frequency.” In Proceedings of the Conference on Design, Automation & Test in Europe, pp. 1177-1182. European Design and Automation Association, 2017.
• Yukai Chen, Enrico Macii, and Massimo Poncino. “Workload-driven frequency aware battery sizing.” In Low Power Electronics and Design (ISLPED, 2017 IEEE/ACM International Symposium on, pp. 1-6. IEEE, 2017.
• Alberto Bocca, Yukai Chen, Alberto Macii, and Massimo Poncino. “Fundamental Feature Extraction of the Battery Charge Phase from Product Data.” In Circuits and Systems (ISCAS), 2018 IEEE International Symposium on, pp. 1-4. IEEE, 2018.
• Yukai Chen, Daniele Jahier Pagliari, Enrico Macii and Massimo Poncino. “Battery-aware Design Exploration of Scheduling Policies for Multi-sensor Devices.” In Proceedings of the 2018 on Great Lakes Symposium on VLSI, pp. 201-206. ACM, 2018.
• Donkyu Baek, Alberto Bocca, Yukai Chen, Alberto Macii, Enrico Macii and Massimo Poncino. “Battery-Aware Energy Model of Drone Delivery Tasks.” In Proceedings of the International Symposium on Low Power Electronics and Design, p. 49. ACM, 2018.
• Alberto Bocca, Yukai Chen, Alberto Macii, Enrico Macii, and Massimo Poncino. “Aging and Cost Optimal Residential Charging for Plug-in EVs.” IEEE Design & Test, 2018
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 23
:§ : -: -: ) : )
§ -: :
§ -: : :
§ -: : ( :
§ - : :
§ - : -:
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 24
Reliability (Aging) layer
Layer-specific data
Temperaturelayer
Powerlayer
FunctionallayerFunctional BUS +
Arbiter
CnC1 C2 …
Temperature BUS + Arbiter
C1 C2 Cn
Power BUS + Arbiter
C1 C2 Cn…
…
Reliability BUS + Arbiter
C1 C2 Cn
- -•
••
•• •
•
•••
••
•
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 25
- -• - &• -• - -
• -
•
• - -• - -
• - -
•
• - -• -• -
• -•
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 26
• -
• -•• -•
• •
•••
• •••
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 27
• - . . -.• .• ( . ( . A
• ( . - . .• . ( . (• . . . . . - . .
. - . (. -.
. - • ) . .
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 28
• . . -.• .• . A
• ( . - . .
• ) . .
TB SystemC-AMS Hotspot Speedup1 9.563 ms 10.476 ms 1.10X2 84.365 ms 95.343 ms 1.13X3 246.014 ms 565.041 ms 2.30X
TB SystemC-AMS Hotspot Speedup1 0.051 s 1.279 s 25.08X2 0.387 s 27.013 s 69.80X3 1.263 s 353.329 s 279.75X
Grid Size SystemC-AMS Hotspot Speedup
4X4 0.163s 3.508s 21.52X
8X8 0.671s 13.438s 20.02X
16X16 3.019s 59.903s 19.84X
32X32 30.735s 779.093s 25.31X
64X64 191.176s 11,849.712s 61.98X
• - = "#$% &"'()*+()"'()*+() &",-./01)
• -- - - - - - -• -- - - - - -
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 29
≈10-6%
<1%
<0.1%
• Yukai Chen, Sara Vinco, Enrico Macii, and Massimo Poncino. “Fast thermal
simulation using SystemC-AMS.” In Great Lakes Symposium on VLSI, 2016 International, pp. 427-432. IEEE, 2016.
• Yukai Chen, Sara Vinco, Enrico Macii, and Massimo Poncino. “SystemC-AMS Thermal Modeling for the Co-simulation of Functional and Extra-Functional Properties.”, ACM Transactions on Design Automation of Electronic Systems, 2018.
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 30
:§ : -: -: ) : )
§ -: :
§ -: : :
§ -: : ( :
§ - : :
§ - : -:
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 31
Reliability (Aging) layer
Layer-specific data
Temperaturelayer
Powerlayer
FunctionallayerFunctional BUS +
Arbiter
CnC1 C2 …
Temperature BUS + Arbiter
C1 C2 Cn
Power BUS + Arbiter
C1 C2 Cn…
…
Reliability BUS + Arbiter
C1 C2 Cn
• - -= 1/ / / 0 ( -/ = 0= 0 = =
Ø =/ / =/ = / 1 1 0 -= - / / = / -= = / /- / B ==/Ø =/ 0 - / =/- 1 - / / = /=/Ø 0 -= 1 = / 1 = / / / / -/ / = / 0 = / 0=
• = = = / / / = = / - =/A= 0 / = / -/ - /• ( - = =B / =/ = = / B =/ / / / 0 -/ 0 / ,/ / - /• ) / - / / / -= =B 0 -=
• ( / /A / 0 = / / - / / / ( 1 1 /
• - -/ = B = 0 = = / / /• ,/- / 0 -= 0 = /• = / / A / = 1 0 / / -B / = = = /
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 32
• -B B:1A A A: A 1 A A F12: 3• A A C1:B A : C : 1 13A
• : D A 13A 1 13A F1A
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 33
ü .A 3 A F 4 B .:
ü .A A A A: A A B:1A 4B 1 A A A2 3 B A 1 3
4 :.
ü .A 4 :. 4B A 1: 3 1 :13 4 A A: A 2 1A :
3 4 A 13 B A 3 C A A . :
ü .A A1 A : 31:3B:1A A , 4B3 41
• HN OC> N > HI G HN F >> > H M >• F % 57 57 4 72 -
• 8B H GMB CR > HG G CG>N M C GF M G> > C• 7 9H D H > ,N H M 3 M CP 3N % 8 0 N . C M M
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 34
Plasma
OR10N
OR1200
• F F P >C G H CG N G FHGII C MCHG C 31R HNM
• 57 C ( 31R HNM )• 57 4 C 31R HNM (
Ø Aging frequency degradation of the cores is weakly affected by the applications run by the cores
• .1 1 . . .• . . . 9 .1 . .1• 0 9. . . 1
•
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 35
• . 1 . . . 9 . 1.1 1 . 0 .
• .9 1 .1 . 1 1
• .9 1 . 1 . .
, , , 0.• ) ) )) ) ( )
• ()• ) ) ) ) ) () ( ) ( ) (• ) ) ( ) ) () ) ) )
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 36
Cores Max Frequency [MHz] Aging Factor354.58 0.32161.06 0.56346.01 0.31132.67 0.46352.88 0.30153.73 0.42
Plasma
OR1200
OR10N
, 0.
0 3 3 6 6 0•
• 5
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 37
Cores Max Frequency [MHz] Aging Factor352.47 0.32
137.99 0.50RI5CY
36 . ,
3 0 =06. 5 0506 3 6 0 =06. 5 0506 3 6
• Yukai Chen, Andrea Calimera, Enrico Macii, and Massimo Poncino.
“Characterizing the Activity Factor in NBTI Aging Models for Embedded Cores.” In Proceedings of the 25th edition on Great Lakes Symposium on VLSI, pp. 75-78. ACM, 2015.
• Yukai Chen, Enrico Macii, and Massimo Poncino. “Empirical derivation of upper and lower bounds of NBTI aging for embedded cores.” Microelectronics Reliability 80 (2018): 294-305.
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 38
:§ : -: -: ) : )
§ -: :
§ -: : :
§ -: : ( :
§ - : :
§ - : -:
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 39
Reliability (Aging) layer
Layer-specific data
Temperaturelayer
Powerlayer
FunctionallayerFunctional BUS +
Arbiter
CnC1 C2 …
Temperature BUS + Arbiter
C1 C2 Cn
Power BUS + Arbiter
C1 C2 Cn…
…
Reliability BUS + Arbiter
C1 C2 Cn
• (A K6 C >A F EL F E A L7 E C LF> 6 FLF
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 40
q 1 6F 6 BEq ( .) 32(0 BELq (A 0 03 6 EB Eq ( 26 >B -E D A L 2- E6AF > Eq A 5(2q ( M( E 6E 67 >A > 76 ELq ( - B 7 6L E 6C6 > BEq 0 >C BA E EF
• B> B 6L E C A A > F 6 F• - A >BA6 6L E AF• 1B E 6L E F• C E6 E 6L E F• 2 >67> > L 6L E F
DC DCDC-DCDC-DC DC-DC DC-DC DC-DC
Batt SCRF TrCore Mem UART Accel
Functional layer
RF TrCore Mem
Temperature BUS + Arbiter
I, V
Power layer
Reliability layer
Temperature layer
UART Accel
Functional BUS + Arbiter
I, V I, V I, V I, V I, V I, V
Power BUS + Arbiter
Core Mem UARTRF Tr
Reliability BUS + Arbiter
Core Mem UARTRF Tr
I, V I, V I, V I, V I, V I, V I, V
P, T P, T P, T P, T
λ λ λ λ
• - - - - - - 1 1 1 -• 1 1 - - - 1 - - 1- -• - 1 1 -• - 1 1• 1 - - 1 - - 1
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 41
• - - - - -
• - - -
• - - -
• - - -
• - - - -
• -
• - - -
• -
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 42
• Sara Vinco, Yukai Chen, Franco Fummi, Enrico Macii, and Massimo Poncino. “A Layered Methodology for the Simulation of Extra-Functional
Properties in Smart Systems.” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2017
• Yukai Chen, Enrico Macii, and Massimo Poncino. “Empirical derivation of upper and lower bounds of NBTI aging for embedded cores.” Microelectronics Reliability, 2018
• Alberto Bocca, Yukai Chen, Alberto Macii, Enrico Macii, and Massimo Poncino. “Aging and Cost Optimal Residential Charging for Plug-in EVs.” IEEE Design & Test, 2018
• Yukai Chen, Andrea Calimera, Enrico Macii, and Massimo Poncino. “Characterizing the Activity Factor in NBTI Aging Models for Embedded Cores.” GLSVLSI, 2015
• Yukai Chen, Sara Vinco, Enrico Macii, and Massimo Poncino. “Fast thermal simulation using SystemC-AMS.” GLSVLSI, 2016
• Sara Vinco, Yukai Chen, Enrico Macii, and Massimo Poncino. “A unified model of power sources for the simulation of electrical energy systems.” GLSVLSI, 2016
• Yukai Chen, Alberto Bocca, Alberto Macii, Enrico Macii, and Massimo Poncino. “A Li-ion battery charge protocol with optimal aging-quality of service trade-off.” ISLPED, 2016
• Yukai Chen, Enrico Macii, and Massimo Poncino. “Frequency domain characterization of batteries for the design of energy storage subsystems.” VLSI-SOC, 2016
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 43
• Yukai Chen, Enrico Macii, and Massimo Poncino. “A circuit-equivalent battery model accounting for the dependency on load frequency.” DATE,
2017
• Yukai Chen, Enrico Macii, and Massimo Poncino. “Workload-driven frequency aware battery sizing.” ISLPED, 2017
• Alberto Bocca, Yukai Chen, Alberto Macii, and Massimo Poncino. “Fundamental Feature Extraction of the Battery Charge Phase from Product Data.” ISCAS, 2018
• Yukai Chen, Daniele Jahier Pagliari, Enrico Macii and Massimo Poncino. “Battery-aware Design Exploration of Scheduling Policies for Multi-sensor Devices.” GLSVLSI, 2018
• Donkyu Baek, Alberto Bocca, Yukai Chen, Alberto Macii, Enrico Macii and Massimo Poncino. “Battery-Aware Energy Model of Drone Delivery Tasks.” ISLPED, 2018
• Daniele Jahier Pagliari, Valentino Peluso, Yukai Chen, Andrea Calimera, Enrico Macii, and Massimo Poncino. “All-Digital Embedded Meters for On-line Power Estimation.” DATE, 2018
• Yukai Chen, Sara Vinco, Enrico Macii, and Massimo Poncino. “SystemC-AMS Thermal Modeling for the Co-simulation of Functional and Extra-Functional Properties.”, ACM Transactions on Design Automation of Electronic Systems, 2018
• Yukai Chen, Donkyu Baek, Alberto Bocca, Alberto Macii, Enrico Macii and Massimo Poncino. “A Case for a Battery-Aware Model of Drones Energy Consumption.” INTELEC, 2018
• Donkyu Baek , Yukai Chen, Jaemin Kim, Naehyuck Chang, Enrico Macii1, Sara Vinco, Massimo Poncino. “SystemC-AMS Simulation of Energy Management of Electric Vehicles.” INTELEC, 2018
12/10/18MODELLING AND SIMULATION OF NON-FUNCTIONAL PROPERTIES IN CYBER-PHYSICAL SYSTEMS 44