MBSE

リベラルロジック株式会社では、本質的に複雑性の課題を持つ大規模なソフトウェア開発に対するアプローチのひとつとして、モデルベースシステムズエンジニアリング(MBSE)の取り組みを実施しています。モデルに留まらない実践的なソフトウェア設計技術と併せた実務的な現場展開で好評を得ています。

リアルタイムシステム

リベラルロジック株式会社は、リアルタイムオペレーティングシステムを使った設計に詳しいエンジニアリングチームによるリアルタイムシステム設計にも対応しています。マイクロコントローラーを使った組み込みシステムから、プロセッサを搭載した汎用計算機システムまで、幅広いシステムで要件に合わせたリアルタイム性能を実現します。

ユニットテスト

ミッションクリティカルなシステムに搭載されるソフトウェアでは、実装モジュール単位の品質保証が欠かせません。リベラルロジック株式会社は、ユニットテストに対する独特なアプローチとして、設計モデルにユニットテスト結果を統合する独自のワークフローを開発。重要なシスレムにおける基幹品質を確保可能な開発プロセスを御提供しています。