征稿范围
Authors are invited to submit manuscripts on topics including, but not limited to:
Formalisms & Languages for …
Requirements and Property specification (RSLs, PSLs, SVA, …)
Multi-physics specification (timing, power, temperature, aging, …)
Multi-domain parallel applications in dynamic real-time environments
Models of computation
Automata (xFSM, …)
Networks (Process Networks, Petri Nets, Task Networks, …)
Platform modelling and abstraction
Transaction level modelling
Run-time system and middleware abstraction
Model and component-based design (UML, SysML, MARTE, …)
Advanced language extensions for SLDLs (SystemC(-AMS), Modelica, …)
Tools & Techniques for efficient …
Formal property checking
Simulation of functional and extra-functional properties
Parallel simulation
High-level hardware and software synthesis
Testbench automation and cCoverage monitoring
Design space exploration and virtual prototyping
Scheduling & real-time analysis
Design Flows & Methodologies covering …
Horizontal and vertical virtual integration testing
Requirements engineering and traceability
Mixed critical embedded applications on multi-core multi-CPU SoCs
Power and performance
Safety and security
Heterogeneous component integration
Multi-objective optimisation
留言