Phone: +47 73 59 26 70
Rolv Bræk is an electrical engineer, graduated from NTNU (at that time NTH), majoring in telecommunication switching systems in 1969. After graduating he spent three years as research assistant and assistant professor at NTNU, teaching and researching mainly on general digital system theory, computer systems, SPC (stored program controlled) switching systems and real time software. Following this he joined SINTEF where he worked until joining NTNU again as a full professor in 2000. He headed the Teletraffic Group of ELAB (Electronics Research Laboratory of SINTF) in three years (1976-1979), and was Acting Director of research for the Telematics Section of ELAB 1987-1989. Has been adjunct professor (part time position) in systems development at NTH from 1988 to 1993 and from 1996 to 2000 with responsibility for teaching formal definition techniques (SDL, LOTOS, CCS), methodology and real time software design.
He has ten years experience as project manager and technical responsible for the development of computer systems and real time software for the telecommunication industry. These systems include ACD, CAMEX, TRIDEX and Garex-14 developed for G.A. Ring AS, and MAREIK developed for Elektrisk Bureau AS. The work included specification, design and implementation of fault tolerant and distributed computer systems including the operating systems and application software. All of these turned out to be long living industrial products.
He started early doing research into formal languages and methods for software and systems engineering. He developed the SDL Oriented Methodology, SOM, for specification and design of event driven real-time systems and applied the methodology on several commercial products. He initiated and headed the work on a computerized tool set for SOM called DASOM and work on an automatic program generation for SDL called ProgGen which were used industrially by Alcatel, Stentofon and others. He has participated in the SDL standardization work within CCITT.
He has extensive experience from teaching, consulting and introducing systems engineering methodologies to industry and has played a central role in the national technology transfer program SISU and its follow up SISU II where a number of companies collaborated to improve their systems engineering practices. He was responsible for the methodology work within SISU and co-authored a textbook on methodology using SDL (published by Prentice Hall), and a CD based textbook on The Integrated Methodology, TIMe.
He has worked extensively with Ericsson on introduction of SDL and TIMe into their product development. He participated in a study that proposed a new way to handle supplementary subscriber services in AXE-10, and has worked with call control and service execution frameworks for IP based communication systems (h.323), and as recently worked on service architectures, service execution frameworks and service platforms for convergent services.
He has participated in the RACE-SPECS project working on automatic code generation from SDL, and in the ESPRIT-PROTEUS project working on configuration issues in SDL systems. He headed a work package in the IST-CANDLE project on (re)engineering reusable e-learning material. He has spent 2 weeks as visiting researcher at the University of Essex in UK, and 3 months at RMIT in Melbourne Australia. He has been member of the program committee for the SDL Forum conferences, the international workshop on Feature Interactions (FIW), the SDL and MSC workshop (SAM) and the Eunice Summer School. He was member of the organizing committee for the 7th SDL Forum in Oslo, and acted as co-editor of the proceedings which were published by Elsevier Science. He was also member of the organizing committee for the IFIP WG6.7 Workshop and EUNICE Summer School on Adaptable Networks and Teleservices in 2002.
He has spent 2 weeks as visiting researcher at the University of Essex in UK, and 3 months at RMIT in Melbourne Australia. During the second half of 2004 he was a visiting professor at the School of Information Technology and Engineering at the University of Ottawa, Canada.
Currently his main research interest is methods, tools and platform support for rapid and incremental service development. He is one of the initiators of PATS (Program for Advanced Tele Services), which is a network of excellence between Telenor, Ericsson, Compaq and NTNU. Within this program, the Avantel and Arts projects, both funded by NFR, has built a joint research and student laboratory shared between NTNU, Telenor and Ericsson. He is currently supervising 6 Ph.D students in this area.
PATS and the ARTS project within PATS
| Systemering av distribuerte sanntidssystemer (SIE5020) | http://www.item.ntnu.no/fag/SIE5020/ |
| Programvaredesign for distribuerte sanntidssystemer (SIE5065) | http://www.item.ntnu.no/fag/SIE5065/ |
| Laboratory in construction of self-configuring systems(SIE50AC) | http://www.item.ntnu.no/fag/SIE50AC/ |
R. Bræk, Haugen: Engineering Real Time Systems: An Object-Oriented Methodology using SDL. Prentice Hall, Hemel Hempstead, UK, 1993.
R. Bræk, P.J. Emstad: Telesystemering: Språk og metoder for systemarbeid innen telematikk (Telematics systems engineering: Languages and Methods). Tapir Publishing, 1984. ISBN 82-519-0636-9.
R. Bræk, J. Hygen, S. Høysæter, T. Johansen, P. Scott: Håndbok i systemarbeid (Handbook in Software Engineering), Tapir Publishing, 1982.
2006-1 Judith E. Rossebø, Rolv Bræk; Towards a Framework of Authentication and Authorization Patterns for Ensuring Availability in Service Composition. The First International Conference on Availabilty, Reliability and Security ARES 2006, 20-22 April, 2006, Vienna, Austria,
2006-2 Humberto Nicolás Castejón and Rolv Bræk; A Collaboration-based Approach to Service Specification and Detection of Implied Scenarios. ICSE's 5th Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06), May 27-28, 2006, Shanghai, China.Vienna 2006. IEEE Computer Society Proceedings.
2005-1 Rolv Bræk, Geir Melby; Model Driven Service Engineering. In Model-driven Software Development. Volume II of Research and Practice in Software Engineering. Editors Sami Beydeda and Volker Grhun. Springer. To be published.
2005-2 Richard T. Sanders, Rolv Bræk, Gregor v. Bochmann, and Daniel Amyot; Service Discovery and Component Reuse with Semantic Interfaces. Springer LNCS. SDL 2005: Model Driven Systems Design: 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedings. Editors: Andreas Prinz, Rick Reed, Jeanne Reed, ISBN: 3-540-26612-7
2005-3 Jacqueline Floch, Rolv Bræk; A Compositional Approach to Service
Validation.
Springer LNCS. SDL 2005: Model Driven Systems Design: 12th International SDL
Forum, Grimstad, Norway, June 20-23, 2005. Proceedings. Editors: Andreas Prinz,
Rick Reed, Jeanne Reed, ISBN: 3-540-26612-7
2005-4 Richard Torbjørn Sanders, Humberto Nicolás Castejón, Frank Alexander Kraemer and Rolv Bræk; Using UML 2.0 Collaborations for Compositional Service Specification. ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems. (MoDELS 2005) Jamaica October 2005. Springer LNCS
2005-5 Humberto Nicolás Castejón, Rolv Bræk; Dynamic Role Binding in a Service Oriented Architecture. The 2005 IFIP International Conference on Intelligence in Communication Systems, Intellicom 2005, Montreal, Canada 17-19. October 2005. Springer IFIP.
2004-2 Richard Sanders, Rolv Bræk; Modeling Peer-to-peer Service Goals
in UML,
2nd IEEE International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS,
Beijing - China , 26 - 30 September, 2004 SEFM, Beijing 2004. IEEE Computer
Society Press.
2004-3 Geir Melby, Rolv Bræk
Delivery of convergent telecom services on J2EE platforms
International Conference on Intelligence in Service Delivery Networks, ICIN,
Bordaux 18-20 October, 2004
2004-4 Richard Sanders, Rolv Bræk;
Discovering Service Opportunities by Evaluating Service Goals
10th Open European Summer School and IFIP Workshop on the
EUNICE’2004-Advances in Fixed and Mobile Networks, Tampere Finland 2004
2003-1 Richard Torbjørn Sanders, Jacqueline Floch, Rolv Bræk. Dynamic
behaviour arbitration
using role negotiation. In Proceedings of the 9th EUNICE and IFIP Workshop on
Next
Generation Networks, pages 76–81, 8-19 Sept 2003. Balatonf¨ured, Hungary.
2003-2 Jacqueline Floch, Rolv Bræk; Using Projections for the Detection of Anomalous Behaviors
2003-3 Jacqueline Floch, Rolv Bræk¸ Using SDL for Modeling Behaviour
Composition
11th International SDL Forum, Stuttgart 2003, Springer LNCS.
2003-4 Rolv Bræk, Geir Hasnes; A method for Reengineering Courseware
Facilitating Sharing and Reuse.
5th International Conference on New Educational Environments, Lucerne,
Switzerland 2003.
2003-5 Rolv Bræk; Formal Method Research at NTNU, Department of
Telematics.
Eighth International Workshop onFormal Methods for Industrial Critical Systems
(FMICS'03) Røros, Norway 2003. Elsevier Science Electronic Notes in Theoretical
Computer Science 80 (2003)
2003-6 Jacqueline Floch, Richard Sanders, Rolv Bræk; Challenges and Results of Establishing the Teleservice Laboratory at NTNU. NIK'2003 (Norsk informatikkonferanse 2003) Oslo, Norway 2003.
2002-1 Jacqueline Floch, Rolv Bræk; Towards PaP Services: Design and
Validation Issues.
EUNICE'2002. IFIP WG6.7 Workshop and EUNICE Summer School on Adaptable Networks
and Teleservices.
2002-2 Jacqueline Floch, Rolv Bræk; A Validation Method Adapted to
Dynamic Service Composition.
Norsk Informatikkonferanse NIK'2002, Konsberg 2002
2002-3 Finn Arve Aagesen, Rolv Bræk editors; Proceedings of IFIP WG6.7 Workshop and EUNICE Summer School on Adaptable Networks and Teleservices. Department of Telematics, NTNU, 2002.
2001
Jacqueline Floch, Richard Sanders,
Ulrik Johansen and Rolv Bræk. Using UML for Implemenattion Design of SDL
systems.
Proceedings of the 10th International SDL Forum, Copenhagen 2001, Springer
LNCS2078, ISBN 3-540-42281-1
2000-a
J. Floch, R. Bræk
Towards Dynamic Composition of Hybrid Communication Services
IFIP International Conference on Intelligence in
Networks, Smartnet 99, Vienna, October 2000. Kluwer Academic Publishers.
2000-b
R. Bræk
On Methodology using the ITU-T languages and UML
Telektronikk No 4, 2000
2000-c
R. Bræk guest editor
Telektronikk No 4, 2000 Special issue on languages for communication systems.
2000-d
A. Meisingset, R.Bræk
The ITU-T languages in a nutshell
Telektronikk No 4, 2000 Special issue on languages for communication systems.
1999-a
R. Bræk et al;
Quality by construction exemplified by TIMe – The Integrated Method
Telektronikk Vol 95 No 1 1999, ISSN 0085-7130
1999-b
R. Bræk
Using roles with types and objects for service development
IFIP International Conference on Intelligence in Networks, Smartnet 99, Bangkok,
November 1999. Kluver Academic Publishers.
Finn Arve Aagesen, Bjarne Helvik, Vilas Wuvongse, Hein Meling,
Rolv Bræk and Ulrik Johansen: Towards a Plug and Play
Architecture for Telecommunications,Proceedings of the the Fifht IFIP Conference
on Intelligence in Networks, Bangkok 22-26 November 1999. Kluwer Academic
Publisers.
1998-a
A. Shakeri, R. Bræk
Principle Design in Mechatronic Systems Development Process
2nd Tampere International Conference on Machine Automation, Tampere,
Finland, September 1998
1998-b
R. Bræk, B. Møller-Pedersen
Frameworks by means of virtual types – exemplified by SDL
Proceedings of FORTE, Paris 3-6 November 1998:
Formal Description Techniques and Protocol Specification, Testing and
Verification
Stan Budkowski, Ana Cavalli, Elie Najm editors
Kluwer Academic Publishers, ISBN 0-412-84760-4, October 1998
1997-a
A. Shakeri, R. Bræk
Development of Mechatronic systems.
5th Iranian and International Conference on Electrical Engineering,
Theheran, Iran 1997
1997-b
A. Shakeri, R. Bræk
Modelling the Behaviour of Mechatronic Systems
International Conference on Engineering Design (IECD)
Tampere, Finaland, August 1997
1997-c
R. Bræk, A. Shakeri
Specification and Description in Mechatronic Product development.
3rd International Mechatronics Design and Modeling Workshop
Ankara, Turkey, September 1997.
1997- d
R. Bræk et al
TIMe The Integrated Method
CD-ROM containing the method
SINTEF Telecom and Informatics
Sept 1997
1996-a
R. Bræk
SDL Basics
Computer Networks and ISDN
Vol 28, No 12 June 1996
1996-b
R. Bræk, Ø. Haugen, B. Møller-Pedersen,
A simple and practical solution to inheritance of behaviour
Norwegian Informatics Conference
Tromø; Norway 1997
T. Frotveit, R. Bræk, S. Andresen
Modelling Advanced Transport Telematics Architecture using Formal definition
Techniques.
VNIS ‘95. 30 July- 2 August 1995, Seattle, USA