Six issues concerning future directions in concurrency research

Important future research directions are the combination of processes and data and the elaboration of nonfunctional requirements. Telecommunication will remain an important application area. The application area of embedded software will become increasingly important. Further, research into testing theory will become important. In the area of tool support, further development of theorem provers and checkers and integration of theorem proving and model checking deserves attention. Last, embedding of concurrency theory into an encompassing (object-oriented) design method is worthwhile

The role of supervisory controller synthesis in automatic control software development

We give an overview of a model-driven systems engineering approach for high-tech systems that relies on supervisory controller synthesis. The proposed framework has a process-theoretic foundation and supports extensions with quantitative features. We briefly discuss several industrial case studies that highlight the advantages of the proposed approach. Keywords: Supervisory control theory; Model-driven development; Software synthesi