TargetLink (original) (raw)
TargetLink ist eine Software des Herstellers dSPACE zur automatischen Seriencodegenerierung basierend auf einer Untermenge von Simulink/Stateflow-Modellen. TargetLink benötigt eine existierende Matlab/Simulink-Installation und ein separates mitgeliefertes sog. Blockset. TargetLink generiert sowohl ANSI-C, als auch prozessoroptimierten Code. Des Weiteren unterstützt TargetLink die Code-Generierung für AUTOSAR-Software-Komponenten für den Automobilbereich. Eine MISRA-C:2012 Compliance-Dokumentation ist auf Anfrage erhältlich.
| Property | Value |
|---|---|
| dbo:abstract | TargetLink ist eine Software des Herstellers dSPACE zur automatischen Seriencodegenerierung basierend auf einer Untermenge von Simulink/Stateflow-Modellen. TargetLink benötigt eine existierende Matlab/Simulink-Installation und ein separates mitgeliefertes sog. Blockset. TargetLink generiert sowohl ANSI-C, als auch prozessoroptimierten Code. Des Weiteren unterstützt TargetLink die Code-Generierung für AUTOSAR-Software-Komponenten für den Automobilbereich. Eine MISRA-C:2012 Compliance-Dokumentation ist auf Anfrage erhältlich. Die Verwaltung aller zur Codegenerierung relevanten Informationen erfolgt in einem zentralen Datencontainer, genannt Data Dictionary. Der Test des generierten Codes wird in Simulink durchgeführt, welches auch für die Spezifikation der zugrundeliegenden Simulationsmodelle eingesetzt wurde. TargetLink unterstützt drei Simulationsmodi zum Testen des generierten Codes: 1. * Model in the Loop (MIL): Bei diesem Simulationstyp wird das Modelldesign geprüft. Die MIL wird auch als Floating-Point Simulation bezeichnet, da die Variablen typischerweise als Gleitkommazahlen vorliegen. 2. * Software in the Loop (SIL): Die Simulation beruht auf der Ausführung von generiertem Code, welcher auf einem PC-System läuft. Die Variablentypen sind typischerweise Gleit- oder Festkommazahlen. 3. * (PIL): Bei der PIL läuft der generierte Code auf der Zielhardware bzw. auf einem Evaluierungs-Board. Durch die Einbindung eines sogenannten Real-Time-Frames wird es ermöglicht, die Simulationsergebnisse sowie Speicherverbrauch und Laufzeitinformationen auf den PC zu übertragen. Die Motor Industry Software Reliability Association (MISRA) hat für TargetLink Ende 2007 offizielle MISRA-Modellierungsrichtlinien veröffentlicht (MISRA AC TL), die insbesondere für funktionale Sicherheit und für die Erstellung sicherheitskritischer Anwendungen von Bedeutung sind, jedoch nicht mehr weiterentwickelt werden. Im Jahr 2009 zertifizierte der TÜV SÜD TargetLink für die Entwicklung sicherheitskritischer Systeme nach ISO DIS 26262 und IEC 61508. Auf Basis des von dSPACE beschriebenen TargetLink Reference Workflows unterstützt der Codegenerator somit eine ISO-26262-konforme, modellbasierte Softwareentwicklung. Die Betonung liegt hierbei auf "unterstützt": Eine simplifizierende Verkürzung auf die Aussage "TargetLink generiert ISO-26262-konformen Seriencode" ist, wie aus dem dSPACE Dokument deutlich hervorgeht, nicht zutreffend. Der Referenzworkflow empfiehlt bzw. fordert (in Kapitel 5) ebenso wie ISO 26262 sowohl auf Modell- als auch auf Code-Ebene die Einhaltung und Überprüfung von Richtlinien wie MISRA AC TL, Modeling Guidelines for TargetLink, MAAB guidelines bzw. MISRA-C durch den Anwender. (de) TargetLink is a software for automatic code generation, based on a subset of Simulink/Stateflow models, produced by dSPACE GmbH. TargetLink requires an existing MATLAB/Simulink model to work on.TargetLink generates both ANSI-C and production code optimized for specific processors. It also supports the generation of AUTOSAR-compliant code for software components for the automotive sector.The management of all relevant information for code generation takes place in a central data container, called the Data Dictionary. Testing of the generated code is implemented in Simulink, which is also used for the specification of the underlying simulation models. TargetLink supports three simulation modes to test the generated code: * Model-in-the-loop simulation (MIL): this mode allows the model design to be checked. An MIL simulation is also known as a floating-point simulation, since the variables are typically floating-point variables. * Software-in-the-loop (SIL): the simulation is based on the execution of generated code, which runs on a PC system. The variables are typically plain or fixed point numbers. * Processor-in-the-loop (PIL): in a PIL simulation, the generated code runs on the target hardware or on an evaluation board. So-called real-time frames are included, making it possible to transfer the simulation results as well as memory consumption and runtime information to the PC. The Motor Industry Software Reliability Association (MISRA) published official MISRA modeling guidelines for TargetLink in late 2007,which are particularly important for functional safety of safety-critical applications. In 2009, TÜV SÜD certified TargetLink for use during the development of safety-critical systems to ISO DIS 26262 and IEC 61508. (en) TargetLink は Simulink/ モデルから自動コード生成するためのソフトウェア。が開発した。TargetLinkでは既存のMATLAB/Simulinkモデルを必要とする。TargetLinkはANSI C、特定のプロセッサ向けに最適化された量産コードの両方を生成する。また、AUTOSARに準拠した自動車分野のコードの生成もサポートする。コード生成に関するすべての関連情報の管理は、データ辞書と呼ばれる中央のデータコンテナで行われる。 生成されたコードのテストはSimulinkで実装される。Simulinkは、シミュレーションモデルの仕様にも使用される。TargetLinkは、生成されたコードをテストする3つのシミュレーションモードをサポートしている。 * Model In the Loop Simulation (MILS): このモードでは、モデル設計をチェックすることができる。変数は通常浮動小数点変数なので、MILSは浮動小数点シミュレーションとも呼ばれる。 * Software In the Loop Simulation (SILS): 生成されたコードがパソコンのOS上で実行される。変数はplaneまたは固定小数点数。 * Processor In the Loop Simulation (PILS): PILSでは、生成されたコードが対象ハードウェアまたは評価ボード上で実行される。いわゆるリアルタイムフレームが含まれているため、シミュレーション結果やメモリ消費量、ランタイム情報をPCに転送することができる。 MISRA（Motor Industry Software Reliability Association）は2007年後半にTargetLinkの公式MISRAモデリングガイドラインを発表した。これは安全性が重要なアプリケーションの機能安全性にとって特に重要である。2009年、TÜV SÜDはISO DIS 26262およびIEC 61508のセーフティクリティカルシステムの開発においてTargetLinkの使用を認定した。 (ja) |
| dbo:developer | dbr:DSPACE_GmbH |
| dbo:latestReleaseVersion | 3.5 (2013) |
| dbo:wikiPageExternalLink | http://www.dspace.de/ww/en/pub/home/products/sw/pcgs/targetli.cfm%3Fnv=n2 http://www.reactive-systems.com/generate-tests-targetlink.html http://delivery.acm.org/10.1145/1090000/1086521/p472-sangiovanni-vincentelli.pdf%3Fip=209.221.240.193&id=1086521&acc=ACTIVE%20SERVICE&key=6640A0CD5B41CA00.6640A0CD5B41CA00.4D4702B0C3E38B35.4D4702B0C3E38B35&CFID=702334907&CFTOKEN=69625651&__acm__=1439386530_a8942cb28ac147410156018290a011e8 https://web.archive.org/web/20070707012014/http:/www.misra.org.uk/papers/F0505_Davies_Reallife.pdf |
| dbo:wikiPageID | 26483333 (xsd:integer) |
| dbo:wikiPageLength | 3370 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1053276044 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Motor_Industry_Software_Reliability_Association dbr:DSPACE_GmbH dbc:Programming_tools dbr:MATLAB dbr:Simulink dbr:Stateflow dbr:ANSI_C dbr:AUTOSAR |
| dbp:developer | dbr:DSPACE_GmbH |
| dbp:genre | Production Code Generation (en) |
| dbp:latestReleaseVersion | 3.500000 (xsd:double) |
| dbp:license | Proprietary (en) |
| dbp:name | TargetLink (en) |
| dbp:operatingSystem | Windows (en) |
| dbp:website | http://www.dspace.de/ww/en/pub/home/products/sw/pcgs/targetli.cfm%3Fnv=n2 |
| dbp:wikiPageUsesTemplate | dbt:Infobox_Software dbt:Reflist |
| dcterms:subject | dbc:Programming_tools |
| gold:hypernym | dbr:Software |
| rdf:type | owl:Thing dbo:Software schema:CreativeWork dbo:Work wikidata:Q386724 wikidata:Q7397 yago:Abstraction100002137 yago:Code106355894 yago:CodingSystem106353757 yago:Communication100033020 yago:Writing106359877 yago:WrittenCommunication106349220 yago:Software106566077 |
| rdfs:comment | TargetLink ist eine Software des Herstellers dSPACE zur automatischen Seriencodegenerierung basierend auf einer Untermenge von Simulink/Stateflow-Modellen. TargetLink benötigt eine existierende Matlab/Simulink-Installation und ein separates mitgeliefertes sog. Blockset. TargetLink generiert sowohl ANSI-C, als auch prozessoroptimierten Code. Des Weiteren unterstützt TargetLink die Code-Generierung für AUTOSAR-Software-Komponenten für den Automobilbereich. Eine MISRA-C:2012 Compliance-Dokumentation ist auf Anfrage erhältlich. (de) TargetLink is a software for automatic code generation, based on a subset of Simulink/Stateflow models, produced by dSPACE GmbH. TargetLink requires an existing MATLAB/Simulink model to work on.TargetLink generates both ANSI-C and production code optimized for specific processors. It also supports the generation of AUTOSAR-compliant code for software components for the automotive sector.The management of all relevant information for code generation takes place in a central data container, called the Data Dictionary. (en) TargetLink は Simulink/ モデルから自動コード生成するためのソフトウェア。が開発した。TargetLinkでは既存のMATLAB/Simulinkモデルを必要とする。TargetLinkはANSI C、特定のプロセッサ向けに最適化された量産コードの両方を生成する。また、AUTOSARに準拠した自動車分野のコードの生成もサポートする。コード生成に関するすべての関連情報の管理は、データ辞書と呼ばれる中央のデータコンテナで行われる。 生成されたコードのテストはSimulinkで実装される。Simulinkは、シミュレーションモデルの仕様にも使用される。TargetLinkは、生成されたコードをテストする3つのシミュレーションモードをサポートしている。 MISRA（Motor Industry Software Reliability Association）は2007年後半にTargetLinkの公式MISRAモデリングガイドラインを発表した。これは安全性が重要なアプリケーションの機能安全性にとって特に重要である。2009年、TÜV SÜDはISO DIS 26262およびIEC 61508のセーフティクリティカルシステムの開発においてTargetLinkの使用を認定した。 (ja) |
| rdfs:label | TargetLink (de) TargetLink (ja) TargetLink (en) |
| owl:sameAs | freebase:TargetLink wikidata:TargetLink dbpedia-de:TargetLink dbpedia-ja:TargetLink https://global.dbpedia.org/id/2GAve |
| prov:wasDerivedFrom | wikipedia-en:TargetLink?oldid=1053276044&ns=0 |
| foaf:homepage | http://www.dspace.de/ww/en/pub/home/products/sw/pcgs/targetli.cfm%3Fnv=n2 |
| foaf:isPrimaryTopicOf | wikipedia-en:TargetLink |
| foaf:name | TargetLink (en) |
| is dbo:wikiPageWikiLink of | dbr:DSPACE_GmbH dbr:TPT_(software) |
| is foaf:primaryTopic of | wikipedia-en:TargetLink |