28th IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems(FORTE 2008)

Invited Talks

Wednesday, June 11 (16:00-17:00)

Yutaka Yasuda (KDDI Corporation),
All-IP based Ultra 3G Network/Service Development in a Competitive Market

Abstract: FMC (Fixed Mobile Convergence) is a key concept of NGN (Next generation Network) and KDDI announced the Ultra 3G concept based on all-IP network configuration, 3 years ago. Now, the Ultra 3G concept has evolved toward FMBC (Fixed Mobile Broadcast Convergence). This talk introduces how KDDI has been swiftly and reliably developing all-IP based networks and FMBC services.

Biography: Dr. Yutaka Yasuda is currently Vice President and General Manager of Core Technology Sector at KDDI Corporation, and is responsible for all IP-based communication network development. He joined KDD in 1975 and spent 15 years for R&D works primarily on the digital satellite communications and the error correction coding. In 1984, he went on loan to Inmarsat headquarters (London) for two years, where he was involved in the system development of the digital maritime and aeronautical satellite communications. Since 1990, he has been working on the business and service development in the field of various mobile communication systems and, in 1998, he was nominated as the leader of IMT-2000 Development Department at KDD headquarters. After the establishment of KDDI Corporation in Oct. 2000, he was nominated as Vice President and General Manager of "au" Technology Division in 2003, and of Corporate Technology Sector in 2005. He holds a Dr.Eng. degree in electrical engineering & communications from Kyoto University. In 2008, he received IEEE Fellow grade.

Thursday, June 12 (9:00-10:00)

Wolfram Schulte (Microsoft Research),
The Power of Rich Syntax for Model-based Development

Abstract: During the last century, many general purpose programming languages have been developed, all having rigid syntax and often von-Neuman specific semantics. With the rise of model-based development this changes: We believe that in this century we will see many more domain specific languages. These languages use rich and custom syntaxes to capture domain specific abstractions, refinement mappings, and design spaces. In this talk we show how a formalization of rich syntax can be used to compose abstractions, validate refinement maps, and construct design spaces. We compute these properties on several concrete examples using our tool Formula, which uses a variant of Horn logic to represent and analyze rich syntax.

Biography: Wolfram Schulte is a principal researcher and currently leading the software engineering efforts at Microsoft Research, Redmond, USA. His group works in areas as diverse as experimental software engineering, human interactions in programming, software reliability, programming language design and implementation, as well as theorem proving. Wolfram's main interest concerns the practical application of formal techniques. He has published a variety of papers in the areas of language design, verification, testing, program derivation and compilation. Before joining Microsoft Research in 1999, Wolfram worked at the University of Ulm (1993-1999), at sd&m, a German software company (1992-1993), and at the Technical University Berlin (1987-1992).

Friday, June 13 (9:00-10:00)

Paul Baker (Motorola),
Models and Testing - A Recipe for Improved Effectiveness?

Abstract: In an ongoing effort to reduce development costs in spite of increasing system complexity, Motorola has been a long-time adopter of Model-Driven Engineering practices. The foundation of this approach is the creation of rigorous models throughout the development process, thereby, enabling the introduction of automation into the development life cycle and supporting frameworks.

Biography: Paul Baker is Motorola's corporate portfolio manager for verification and validation technologies. Since being at Motorola Paul has had different roles in both engineering and Motorola Research Labs. He is a co-author of the book "Model-Driven Testing Using the UML Testing Profile" and has numerous refereed publications in the field of software verification, test automation techniques, and model-driven engineering. He serves on a number Industrial Advisory Boards for UK universities and is proactive in developing collaborative research programs both with European universities and other companies. He has also participated in the development of software and testing standards, such as Message Sequence Charts, TTCN-3, and the UML Testing Profile within ITU, ETSI, and OMG respectively. Before joining Motorola Paul has worked at Philips on testing technologies. Paul has an MSc in software engineering from the University of Oxford (UK). Paul currently holds 11 patents and is a Motorola Science Advisory Board Associate.