Products

BTC EmbeddedPlatform

Formal Specification
パッケージ

自動化のベースとしての機能要求の直感的な形式記述

機能紹介

Formal Specification パッケージ

Formal Specificationパッケージは、難解な形式手法の専門知識を持たずとも読み書きを可能にする機能を提供します。

要求の形式化は、要求をコンピュータで読み取り可能な記述に変換します。これは自動化の基礎となり、テストと検証のステップにおける手作業をインテリジェントな技術に置き換えます。

サポートされる機能

Universal Patternによる形式記述
テストアーキテクチャへのマッピングを含むサードパーティツールから取り込まれたインフォーマルな要求へのマッピングを含む
要求バリデーション

Play now

FORMAL SPECIFICATION パッケージ

ユースケース

要求の形式化

安全要求の直感的な形式記述

機能安全規格認証

ISO 26262

BTC EmbeddedPlatformがセーフティクリティカルなソフトウェア開発プロジェクトでの利用に適していることは、ドイツTÜV SÜDによって認証されています。この認証はIEC 61508-3:3010, ISO 26262, EN 50128, IEC 62304, ISO 25119を含む複数の標準規格に言及しています。自動車用機能安全規格ISO 26262に関しては、ツール信頼レベルの中で最も高いTCL3で認証を受けており、この認証はASIL-Dを含む全てのASILレベルに対して有効です。認証書と認証レポートは要望に応じてツールユーザ様に無償で提供しています。この認証書はツール認定(Tool Qualification)に要するお客様側の労力を大きく削減致します。

評価用ライセンスの申し込み

私たちの製品を試してみたいと思っていただけたのであれば、喜んで無償の評価用ライセンスを発行致します。御希望であれば評価に無償のツールトレーニングもお付けします。ツールトレーニングは他社と合同ではなく、あなた専用で行います。

セールスエンジニアとのミーティング予約

質問をしてみたかったり、ツールが動いているところを見てみたいという方は下のリンクからミーティングをご予約ください。セールスエンジニアリングチームのメンバーが喜んでご対応致します。

評価用ライセンスの申し込み

セールスエンジニアとのミーティング予約

BTC EMBEDDED SYSTEMSのブログ

ブログ

組み込みソフトウェア開発、モデルベースデザイン、自動コード生成、ISO26262準拠のテストに関する情報の公開

Blog

8月 30, 2023

AUTOSAR – What Every Function Developer Should Know…

AUTOSAR was introduced 15 years ago as a standardized architecture to develop complex automotive applications
Today, new projects and teams continue to embrace the standard
What are the key concepts a function developer should know while using AUTOSAR?

Nabile Khoury

Paris, France

Blog

8月 30, 2023

The Power of Focus – How to Optimize a Model Checker for Embedded Software

Model checking is a powerful technique to analyze the dynamic behavior of software with mathematical completeness
The complexity of the algorithm makes it challenging to apply model checking to industrial applications
In this article, our Chief Research Engineer shares some insights into how BTC has addressed these challenges

Dr. Tino Teige

Oldenburg, Germany

Blog

8月 30, 2023

When and how to generate test cases automatically

The creation of test cases for embedded software is often a time-consuming task
The question is: Can automatic test generation help increase the efficiency?
This article describes the use cases and methods for automatic test generation

Wolfgang Meincke

Stuttgart, Germany

Blog

8月 30, 2023

How to Set Up Jenkins From Scratch on Your Own PC in 5 Minutes

Jenkins continues to grow even more popular in all branches of software development but the getting-started-barrier is still conceived to be quite high by some people
You don't have to wait for your IT department to get hands-on experience and start automating your software delivery process
See how easy it is to get started with Jenkins from scratch on your own Windows 10 laptop!

Thabo Krick

Oldenburg, Germany

Blog

8月 30, 2023

What You Should Know About Fixed-Point Code

Fixed-point code is still used in many embedded software projects
Some people believe it will disappear with the availably of faster processors
This article will clarify some vocabulary, give recommendations on how to handle fixed-point efficiently and point out some of its advantages

Markus Gros

Berlin, Germany

Blog

8月 30, 2023

Why and How to Improve Requirements

Requirements stand at the beginning of each development process and their quality has an impact on all following steps
The quality of requirements in embedded software projects is often insufficient
This article shows how formalization can help to increase the requirements quality