Developing Software Systems for IT Businesses Worldwide
The Software Technology Research Laboratory (STRL) was set up in March 1996 as part of the University’s Science and Engineering Research Centre (SERC). STRL seeks to become one of the leading national and international sources of expertise In the development of provably correct computer systems methods and tools.
STRL is dedicated to delivering research that has a positive impact on the real world. Work undertaken by the laboratory aims to study, analyse and advance formal approaches to the specification, design and the evolution of computing systems, with emphasis being placed on those that are used in critical applications.
STRL consists of five key research themes:
Theory and computational paradigms
Requirement and knowledge engineering
Semantic web and service-orientated computing
Computer security and trust
The national and international significance of the STRL is as follows.
To be one of the leading national and international sources of expertise in the development of provably correct computer systems methods and tools.
To play a key role in enabling the University to develop an international reputation for the industrial production of provably correct computer systems.
News, Events and Conferences
2nd International Symposium for ICS & SCADA Cyber Security 2014
11th-12th September 2014, St Polten University of Applied Sciences, Austria
This second International Symposium for ICS & SCADA Cyber Security is being co-organised with Airbus Group Innovations and St. Polten University of Applied Sciences. Bringing together researchers with an interest in the security of industrial control systems, the topics of interests are broad, ranging from security for hardware/firmware used in industrial control systems, to system aspects of ICS such as secure architectures and vulnerability screening to the human aspects of cyber security such as behaviour modelling and training.
This unique event has objectives to bridge theoretical and applied research, as well as to serve as an interdisciplinary forum for exchange among researchers from the areas of security of industrial control systems in the light of their increasing exposure to cyber-space.
Further information on speakers, topics, submissions and participation.