組込み機器の検証・開発の専門企業　株式会社iTest（アイテスト）

海外では、欧州などを中心として機能安全の標準化の検討が進むなか、国内においてもIV&Vの推進が検討されています。経済産業省（METI）による検証の高度化をテーマとした「組込みシステム基盤開発事業」が立ち上げられ、情報処理推進機構ソフトウェア・エンジニアリング・センター（IPA/SEC）では第三者検証検討部会が発足しています。
iTestは独立検証機関の一つとして産学官連携による高度検証ツールの開発とIV&Vの推進に積極的に取り組んでおります。IV&Vの手法を活かして、開発工程や組込まれているソフトウェアだけでなく製品全体を独立した立場で検証します。

• 製品が意図した通りに正しく振る舞うこと
• 製品が意図しない振る舞いをしないこと
• 製品が不測の事態において、期待どおりに振る舞うこと

以上の観点で行います。

お客様のご要望に応じて数理的技法に基づき自動検査を実施します。
従来お使いの要求仕様や設計仕様、ソースコード、ヒアリングなどをもとに記述変換および抽象化をし、検査ができる適切なモデルを作成します。
品質向上と不具合解析の両方からの検証が可能なため、不具合の発見と原因解析を同時に完了できます。
原因不明の不具合の解析、仕様書・設計書の検証、ソースコードの検証などにお役立て下さい。

組込みソフトウェアの不具合原因の多くは仕様や設計におけるあいまい性や矛盾に起因しています。形式手法の導入により開発の初期段階から一貫して誤りの混入を防ぎやすくなり、ソフトウェア品質の向上が期待できます。この形式手法の実際の現場での導入を模索しております。

国の情報政策にもあるように組込みシステムの信頼性・安全性を向上させ、標準化などを推進することが、経済社会全体の安全・安心の確保並びに国際競争力を強化することに繋がります。
しかし、ソフトウェアが複雑化・大規模化してきている中、組込みシステムの信頼性と安全性を担保するための検証作業は膨大なものとなっております。
そこでiTestは今まで培った経験を活かし産学官の機関と連携して、検証の高度化、効率化をめざしユーザー視点を含んだ高度検証ツールの研究開発を進めております。

北九州支店では、以下のような生物科学分野におけるLED制御技術の研究開発を行っています。

• LED光利用による植物苗の品質向上検証、最適パラメーターのDBソフト化、それらを組み込んだ統合システム制御機構設計
• 高精度ICモジュールを活用したLED電源制御および省電力化、収穫後の青果物に対するLED光照射による鮮度保持性能実験

研究事例

北九州市立大学の技術シーズを活用し、右記の課題に取り組んでいます。	多チャンネルLED独立可変制御ユニットの開発 植物の生育、品質向上を実現する最適光照射条件プログラムの開発 植物生産～出荷流通を含む植物工場事業の社会実証
中小企業産学官連携研究開発事業	高機能育苗用光処理システムによる農薬代替技術に関する研究開発 病害予防技術の実用化を目指します。
低炭素化技術拠点形成事業	青果物の鮮度保持LED光照射技術に関する研究開発 鮮度保持性と成熟制御技術の実用化を目指します。

導入実績

「パワーＵＶ光照射ユニット」「植物実験用ＬＥＤ光照射システム」

加盟団体

ひびきのLEDアプリケーション創出協議会
ふくおか知的クラスター創生事業
北九州スマートコミュニティ実証事業

ネットワークを活用した家庭内のさまざまな機器を制御するシステムソリューションを実現します。このシステムにより、省エネや地球温暖化抑制、防犯・セキュリティ対策といったお客様のくらしに対する安全と安心を提供します。
システムは、高機能なwebコントローラーと管理サーバーにより、さまざまな機器の操作や遠隔制御を実現し、高い拡張性と家庭内の機器類の一元管理が可能となります。

照明・空調制御

ネットワークによる遠隔制御も可能になり、お出かけ時の消し忘れ防止や、外部から携帯電話で照明やエアコンを運転することができます。

警報装置

煙センサーや人感センサーなどで、火災やガス漏れ、侵入者などの異常を検知した場合にメールでお知らせすることが可能です。
また、異常通報の際にカメラを利用すれば、ご家庭の状況を映像で確認することもできます。
このシステムは家庭向けに留まらず、オフィスの照明や空調管理などにも応用が可能です。