_____________________________________________________________________
SUMMARY
Methods for computer systems engineering have steadily improved, but not kept pace with rapidly increasing system complexity. Contemporary software development paradigms, from programming languages and patterns to software architectures and design processes, are fast becoming inadequate, and in many cases obsolete. RiSE (Rigorous systems engineering) seeks to move beyond classical model checking and a-posteriori verification – both in the use of model checkers and in the development and deployment of additional paradigms – to develop computer systems infrastructure for the future internet.
_____________________________________________________________________
SOLUTIONS
- Developing new language-based, architectural, and verification paradigms for highly concurrent software and for software with real-time demands.
- Designing game-theoretic algorithms for analyzing and synthesizing individual system components within a larger context.
- Developing and improving decision procedures that lie at the very heart of every automatic method and tool for system design and analysis.
_____________________________________________________________________
LINK: http://arise.or.at/
_____________________________________________________________________
