Service Science and Engineering lab

Service Science and Engineering Lab (SSE) 

   Software plays a pervasive role in the modern world.  Its development requires highly qualified specialists and competences. In particular, software resilience is a delicate matter of increasing importance in our technology-dependent world. Complex systems have a behavior that is difficult to predict and to test; the tasks can be expensive and laborious, especially when it comes to coping with safety-critical systems in automotive, transportation and aerospace industries where human lives are at stake.  Fixing bugs after deployment is even more expensive; post-deployment faults may even lead to disaster; the literature contains many examples of avoidable faults that had catastrophic consequences. Complex systems also show high level of concurrency, i.e. multiple intertwined threads of executions, often running on different hardware, which need to be synchronized and coordinated, and which much share information, often through different paradigms of communication. 

    Complex software requirements lead to complex behavior and infrastructure, requiring adequate architectural design and system modeling, clear definition of what it means for the system and its parts to be correct, and the application of advanced software analysis techniques. The Service Science and Engineering Lab focuses education and research on services preparing tomorrow’s graduates to work in an expanding services economy. It focuses on improving software quality by using optimal service-based architectural styles and well-established software engineering techniques for requirements elicitation, design, testing and verification as well as exploring new formal techniques, in particular for concurrent service-based systems.  Applications domains will vary from business to safety-critical, from mobile applications to intelligent systems and from social networks to search engines.

Сайт находится в технической разработке