A programming approach is needed that yields functional code and aspect solutions that improve composability. Aspect programming for embedded systems is not repeatable or reusable. Techniques are lacking that can support easier introduction of required program properties into core code. Trade-offs must be made to balance the need for automatic support with the undecidability of fully automatic complete analyses and transformation for some properties.
Experimentation is needed to validate PCES research and enable transition.
Please read our Privacy and Security Notice .