Software Technology Research Laboratory

Add slide title 2 here

11th-12th September 2014,  University of Applied Sciences St. Polten, Austria

Security-Banner   |  |   

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
  • Software evolution
  • 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|.

 
Events target area image
Events

At DMU there is always something to do or see, check out our events for yourself.

DMU research news target area image
DMU research news

Read about our latest research efforts.

De Montfort Open Research Archive (DORA) target area image
De Montfort Open Research Archive (DORA)

De Montfort University's research repository.