— Хочешь избежать критики - ничего не делай
(342) 211-04-96
skr-ips@mail.ru
614067, г. Пермь
ул. Высоковольтная 11
ЦЕЛЛЮЛОЗНО-БУМАЖНАЯ ПРОМЫШЛЕННОСТЬ НЕФТЕГАЗОВАЯ ПРОМЫШЛЕННОСТЬ ХИМИЧЕСКАЯ ПРОМЫШЛЕННОСТЬ ПИЩЕВАЯ ПРОМЫШЛЕННОСТЬ
ИНПРОМСТРОЙ / Деятельность / Промышленное строительство и ремонт / Разработка программного обеспечения

Разработка программного обеспечения

Программное обеспечение, разработанное нашими специалистами, обеспечит качественный рост эффективности процессов вашего бизнеса и даст преимущество над конкурентами.
Вы можете оформить заказ прямо сейчас!

Инжиниринговая корпорация «Институт Промышленного Строительства» предоставляет услуги по созданию и внедрению программного обеспечения, разработке и поддержке клиент-серверных приложений и баз данных, созданию web-приложений и сайтов. Команда профессиональных инженеров готова грамотно решать задачи автоматизации бизнес-процессов, создания систем обработки и хранения данных и многих других задач в сфере современных информационных технологий.

Гибкая система цен и оптимальные сроки выполнения заказа - вот основополагающие критерии, обеспечивающие высокое качество реализации, перспективность и индивидуальность каждого проекта.
Специалисты нашей компании готовы решать для Вас следующие задачи:
  • Разработка программного обеспечения, создание нового программного продукта  для предприятий и организаций с учетом индивидуальных производственных особенностей. Внедрение и последующее техническое обслуживание;
  • Разработка базы данных Access, MySQL, Interbase, Firebird, и многих других;
  • Объединение уже имеющихся разрозненных приложений в единый стройный программный комплекс;
  • Проектирование единой системы документооборота и учета на основе единой базы данных, доступной сотрудникам отдельно взятой компании по сети Интернет и интегрированной с сайтом данной компании или интернет-магазином;
  • Разработка Интернет-магазина и создание сайта компании (дизайн, верстка с последующим размещением конечного продукта на хостинге);
  • Внедрение и техническое обслуживание различных комплексных решений на основе Linux/BSD-систем;
  • Анализ и изучение бизнес-процессов компании-заказчика, для выбора оптимального решения и определения приблизительной стоимости работ.
 В практике нашей работы множество проектов различного уровня сложности: разработка программ, создание баз данных, создание и внедрение разноплановых профильных программных продуктов, разработка клиент-серверных приложений, создание систем управления и многие другие IT-решения.

Индивидуальный подход при разработке программного обеспечения дает гарантированно ожидаемый результат, который в точности отображает все бизнес-процессы вашего предприятия и который создан согласно вашим требованиям и пожеланиям. Наши высококвалифицированные специалисты, используя все свои знания и навыки, создадут для вас уникальный программный продукт с удобным и понятным интерфейсом. Создание и внедрение программного обеспечения, разработка клиент-серверных приложений производится нами с обязательным учетом базовых данных, уровня профессиональной квалификации работников вашей фирмы и возможностей используемой техники.

В процессе работы над каждым конкретным проектом (будь-то создание базы данных, создание Web-приложений или любая профессиональная разработка программного обеспечения) мы самым тесным образом взаимодействуем с заказчиком, что позволяет нам по ходу разработки решать рабочие вопросы и максимально полно отображать в проекте все пожелания клиента. 

Разработка ПО для технологических процессов

В настоящее время SCADE используется в нескольких больших производственных проектах как часть разработки сложных централизованных систем управления движением поездов. С помощью SCADE была создана и верифицирована базовая модель сигнализации SIL 4, включающая свыше 150 функций. Каждая из них, определяемая как конечный автомат, воплощает базовое поведение системы, которое, в свою очередь, реализуется на очень высоком уровне сложности с несколькими тысячами входов и выходов, определяя программное обеспечение для заданной зоны станции. 

Метод модельно-ориентированного SCADE-проектирования технологических процессов позволяет:
- собирать системные требования для программного обеспечения;
- разрабатывать архитектуру ПО, точно и однозначно описывать поведение системы (алгоритмы, конечные автоматы и т.д.);
- осуществлять синхронизацию, классификацию данных и внутренние соединения в проекте;
- формировать С-код с помощью генератора SCADE KCG;
- управлять звеньями в цепи трассируемости между требованиями, моделью и кодом.

Этот технологический процесс поддерживается сертифицированным комплектом средств разработки программного обеспечения SCADE CSF (Certified Software Factory). Комплект SCADE CSF позволяет работать со многими необработанными и промежуточными продуктами. Определения требований, описания архитектуры SysML/UML2 и фрагменты алгоритма легко комбинируются с самостоятельно разработанными и отредактированными спецификациями. Импорт из таких программных сред общего назначения как Simulink и StateFlow осуществляется в строгом соответствии с нормативами моделирования для безопасных и надежных систем, обеспечиваемыми с помощью унифицированной методологии моделирования SCADE. Комплект разработки SCADE CSF оснащен набором инструментов, выполняющих верификацию и оценку качества продукции во всей технологической цепи.

Сценарии тестов для имитационного моделирования создаются независимо исходя из системных требований, выполняются на модели, записываются и повторно просматриваются. Параллельно с помощью анализа MTC (Model Test Coverage — тестовое покрытие модели) оценивается, насколько полно модель была изучена при имитации. Метод SCADE MTC позволяет быстро обнаружить недостатки тестовых процедур и все несоответствия требованиям, а также обнаружить непреднамеренные функциональные возможности, которые не были прослежены по спецификации. Как только анализ MTC подтверждает, что все элементы модели проверены на соответствие требованиям, функциональная верификация заканчивается. Методы формальной верификации очень хорошо дополняют возможности тестирования программистом.

Средство SCADE Design Verifier очень эффективно позволяет проверить безопасность требований, а также обнаружить ошибки, которые ускользают при стандартном тестировании, но проявляются в производственных системах.
Системные требования, SCADE-модель, тестовый план и вся проектная документация всегда синхронизированы благодаря SCADE-шлюзу, ведущему к системам управления требованиями (Requirements Management — RM). Шлюз SCADE RM создает отчеты, упрощающие процесс сертификации, матрицу трассируемости, анализ покрытия и анализ последствий. Полученный код можно интегрировать в различное оборудование или сертифицированные ОСРВ, используя тот или иной кросс-компилятор С-кода. Комплект кодового генератора SCADE KCG был рекомендован промышленными сертификационными организациями для использовании в большинстве критичных к безопасности приложениях. 

Благодаря этому квалификационному комплекту у разработчика исчезла необходимость затрачивать большую часть усилий на низкоуровневое тестирование сгенерированного кода и его верификацию, проверять сгенерированный код на соответствие спецификации, выполнять контроль кода или структурный анализ его покрытия. Благодаря архитектуре комплекта SCADE CSF, специально предназначенной для проектирования критичных к безопасности приложений, автоматизируются многие задачи. В результате первоочередное внимание при тестировании обращается на то, чтобы обеспечить функциональное соответствие модели спецификации, а не на поиск ошибок в реализации проекта.  

Если на этапе создания модели часто приходится вносить те или иные изменения, то при конструктивном подходе требуется известное терпение, чтобы реализовать на практике исходное технические задание. Комплект SCADE CSF помогает не только быстро пройти этап получения прототипа, но и подготовить ПО для сертификации. Шлюз SCADE RM позволяет ввести высокоуровневые требования, увязать их при проектировании с моделью SCADE и обеспечивает естественную прослеживаемость между всеми артефактами, требованиями, элементами проекта и тестами на всех этапах разработки ПО. 

Модельно-ориентированное проектирование — эффективный метод производства промышленного программного обеспечения, т.к. он является не только основой всего процесса, но и обладает гибкостью. Гибкость обеспечивает соответствие модели требованиям, а также возможность быстро внести изменения на этапе ее создания и разработки сертифицируемого программного обеспечения. Благодаря комплекту SCADE CSF такие центральные аспекты процесса как требования, трассируемость и обеспечение качества учитываются совместно с принципами конструктивного и творческого проектирования, позволяющими воплотить идею в готовый промышленный продукт для конечного пользователя.

Звездочкой (*) отмечены поля, обязательные для заполнения.

Забыли пароль?
Правила Регистарция

Закажите обратный звонок:

Звездочкой (*) отмечены поля, обязательные для заполнения.