Development of Embedded Applications using MDD and Rhapsody

Development of Embedded Applications
using MDD and Rhapsody

Telelogic Corporate Highlights
FINANCIAL STRENGTH
GLOBAL PRESENCE
PRODUCT LEADERSHIP
В бизнесе более 22 лет, компания основана в 1983
Быстрый рост
Высокая прибыль, положительный денежный поток, нулевой долг
Офисы продаж и поддержки в 22 странах
“Follow-the-sun” многоязычная техническая поддержка
Глобально-распределённая разработка продукции
Более 500 000 пользователей по всему миру
Lifecycle Solutions основаны на “лучших в классе” продуктах
Более 15% доходa вкладывается в R&D
Лидер в определении стандартов - OASIS, BPMN, SysML, UML, TTCN

Telelogic – Global Presence
Over +40 offices around the world
As of September 2004

Automotive
Aerospace/Defence
Communications
Finance, IT and more
Telelogic Lifecycle Solutions are used everywhere!

A Recognized Industry Leader

Ranked Top 10 in the World
Microsoft
IBM
BEA
Oracle
Borland
Sun
Telelogic
Mercury
Compuware
Novell
Computer Business Review поставил Telelogic на 7-е место в списке 10-ти самых влиятельных компаний в сфере разработки приложений

MANAGE >>
ALIGN >>
<< OPTIMIZE
COMPLY >>
AUTOMATE >>
Integrated Best-In-Class Product Portfolio

OK…so that’s Telelogic the corporation…what about us?
Formally I-Logix, the fastest growing Model Driven Development company on the planet and now….TA DAH…
The Telelogic Systems and Software Modeling Business Unit
“We focus only on real-time and embedded systems and software applications…just as before but now with even more resources and with great linkage to the Telelogic family of products”

О нас
Компания I-Logix основана в 1987 году. Основное направление деятельности – проектирование и тестирование систем (Statemate ®)
Dr. David Harel (моделирование поведения) – премия премьер-министра Израиля
Dr. Amir Pnuelli (формальная верификация) – премия Тьюринга
1998 год: создание Rhapsody® – платформы нового поколения, совместимой с Unified Modeling Language™ (UML™) и предназначенной для системного проектирования и разработки программного обеспечения
Eran Gery – специалист по методологии и технологии UML
Dr. Peter Hoffman – специалист по системной методологии
Dr. Bruce Douglass – специалист по методологии и автор программного обеспечения

Hardware and software: role reversal

Defects
Specification
Source: Ramamoorthy et al, IEEE Computer 10/84
Time
Design
Development
Test
Дефекты представлены
Проблемы начинаются очень рано в процессе дизайна

Defects
Specification
Source: Ramamoorthy et al, IEEE Computer
Time
Design
Development
Test
Дефекты представлены
Наша цель…
10/84

Defects
Specification
Source: Ramamoorthy et al, IEEE Computer
Time
Design
Development
Test
Дефекты представлены
Убрать красное…
10/84

Defects
Specification
Time
Design
Development
Test
И потом…перевернуть синее!

Defects
Specification
Time
Design
Development
Test
УРА-А-А!
Дефекты предотвращены

Традиционный процесс дизайна
Hand write code
Low level code debug
Test code
Customer requirements
Written specification
Analysis
Design
Prototype
Implementation
System Integration
System Design &
Documentation

Традиционный процесс дизайна
Hand write code
Low level code debug
Test code
Customer requirements
Written specification
Analysis
Design
Prototype
System Design &
Documentation
Implementation
System Integration

Что большинство компаний делает в этом случае?
Source: Electronics Market Forecasters

Проблемы…
Системная интеграция это первая стадия, где поведение системы и ПО известны
ПО стало основным элементом, но "традиционный процесс разработки" не поддерживает новое использование и усложнённость
Документация дизайна не связана с его реализацией
Большинство кодовых генераторов используют архитектуру "черного ящика"
"Корпоративное" повторное использование кода встречается редко
Обширное (и дорогое) тестирование нужно чтобы находить дефекты AFTER-THE-FACT
Процессы не угнались за реальными проблемами – outsourcing, sub-contracting
Корпоративные программы по качеству помогают улучшить сам процесс, но не улучшают продуктивность

Вернёмся к традиционному процесс дизайна
Hand write code
Low level code debug
Test code
Customer requirements
Written specification
Analysis
Design
Prototype
System Design &
Documentation
Implementation
System Integration

Telelogic MDD
Hand write code
Low level code debug
Test code
Customer requirements
Written specification
Analysis
Design
Prototype
System Integration

Telelogic MDD
System
Acceptance
Customer requirements
Written specification
Analysis
Design
SW implementation
(Sub) System integration & test
Module integration & test
Unit test

Telelogic MDD
System
Acceptance
Customer requirements
Written specification
Analysis
Design
SW implementation
(Sub) System integration & test
Module integration & test
Unit test

Telelogic MDD
System
Acceptance
Customer requirements
Written specification
Analysis
Design
SW implementation
(Sub) System integration & test
Module integration & test
Unit test

Telelogic MDD
System
Acceptance
Customer requirements
Written specification
Analysis
SW implementation
(Sub) System integration & test
Module integration & test
Unit test
SW
implementation
Design
v

Как мы делаем это лучше?
Поведение дизайна легко охвачено графическим моделированием на уровне системы или ПО
Цель дизайна всегда отображена (двусторонне) к исполнению, поскольку существует бесшовная связь между Системой и ПО
У нас есть возможность исполнять графические модели, пока в виртуальном режиме, и, таким образом. проблемы с требованиями, архитектурой и дизайном решены заранее и...
Поведение утверждается до того, как у нас есть оборудование, уменьшая сюрпризы во время системной интеграции
Наш код читабелен, готов для разворачивания, представляет собой полное приложение, и уникально, динамично свазан с моделью

Как мы делаем это лучше?
Код на 100% соответствует модели, так что код и модель могут быть отлажены одновременно, уменьшая фазу тестирования
Наши решения для тестирования обеспечивают задуманное поведение, независимо от усложнённости дизайна
В то время как Rhapsody это "процессовый агностик", мы пропагандируем использовние процесса Harmony, который был специально создан что-бы максимизировать пользу Rhapsody при дизайне систем
Наши методологи и консультанты предоставляют помощь для наилучшего применения и помогают обеспечить быстрый переход от текстового программирования к MDD

Test
Telelogic system design and software development solutions
Electronic System Design
Software
System Design
Software
Design
Implementation
Statemate

Full RTOS (Linux, VxWorks, etc)
Real time Framework
Наша aрхитектура
UML Modeling
Full Behavioral Code Полный комлект видов UML
для создание Моделей…
дополнительные виды для добавочного диапaзона
Код генерируется прямо из
UML позволяя двухсторонний производственный поток
Final Target Application
Быстрая переадресовка
RTOS элементы полностью
утилизированы
Конечное приложение состоит из предсказуевомого кода
Oтладка на целевой системе