Досліджено засоби специфікації апаратних і програмних обмежень операційної системи (ОС) мобільних пристроїв (МП). Описано механізми оцінки продуктивності та безконфліктності стаціонарних програмних систем (ПС) для МП у контексті заданої платформи з використанням відповідних формальних моделей оцінки. Наведено методи перетворення моделі ПС на базі мережі Петрі в нотації UML як засобу врахування динамічних і статичних аспектів мобільних систем (МС), генерації вихідного коду ПС для мобільних платформ на підставі механізмів розширеної UML-моделі, зворотного проектування ОС для створення програмного каркасу МП, що спрощує генерацію моделі каркаса та забезпечує повну відповідність даної моделі структурі ОС. Розроблено комплексну інструментальну систему підтримки процесу створення прикладних програм для МС.

  Скачати повний текст