Synthesizing cyber-physical architectural models with real-time constraints
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Performance analysis of AADL models using real-time calculus
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
A configuration approach for IMA systems
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Hi-index | 0.00 |
The ever-increasing functionality and the non-functional constraints that must be satisfied by embedded systems lead to an enormous growth in the complexity at the system level. In this paper we investigate the notion of cognitive complexity and argue ...