Bremen Institute of Safe Systems (BISS)

The Bremen Institute of Safe and Secure Systems, BISS, is part of the Center for Computing Technology in the Department of Mathematics and Informatics at Universität Bremen, Germany. Activities in BISS range from basic research and application-oriented research to technology development and transfer. Its mission is to increase safety and reliability of software and embedded systems by formal methods. We develop tools for specification, modelling, design, simulation and testing for safety critical, reliable reactive systems.

Research groups

• Hardware architecture ( Prof. Dr. Rolf Drechsler )
• Data base systems, object-orientied languages/systems ( Prof. Dr. Martin Gogolla )
• Algebraic specification for the devlopment of correct software ( Prof. Dr. Hans-Jörg Kreowski )
• Formal methods and tools , cognitive robotics ( Prof. Dr. Bernd Krieg-Brückner )
• Reliability of reactive systems, validation, testing ( Prof. Dr. Jan Peleska )

Research projects

Publications

Software

News

Jobs

Contact