About: System for Programming and Realization of Embedded Systems

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: System for Programming and Realization of Embedded Systems Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Projekt, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
rdfs:seeAlso	http://www.isvav.cz/projectDetail.do?rowId=FR-TI1/038
Description	A specification of the embedded system starts with a description of functional and non-functional properties of the system. The specification is updated step by step whith more details. Then it changes into the specification of hardware and software. Based on the software specification a program is created in particular programming language. The hardware specification crosses into the hardware description in hardware description language. After creation of the hardware specification it is a right moment to create tools for programming and debugging of embedded systems software. This step is also crucified in the whole embedded systems design and following development steps would be suitable to automatize. These development steps include a creation of the mentioned tools and a realization of the hardware based on the specification. The task of our project is the automatized generation of mentioned outputs based on the embedded systems specification. (en) Specifikace funkcionality vestavěného systému začíná na úrovni soupisu funkčních a nefunkčních požadavků a postupně je specifikace rozšiřována o další detaily, přičemž dále přechází do specifikace softwaru a hardwaru. Na základě specifikace softwaru je vytvářen program v některém z programovacích jazyků. Specifikace hardwaru přechází do konkrétního popisu hardwaru v některém z hardwarových popisných jazyků. Okamžik, kdy je vhodné vytvářet nástroje pro programování (překladač vyššího programovacího jazyka) a ladění je po vytvoření specifikace hardwaru. Tento okamžik je tedy stěžejní v celém návrhu vestavěného systému a vývojové procesy za ním následující by bylo vhodné automatizovat. Tyto procesy zahrnují vytvoření zmíněných nástrojů a realizace hardwaru. Náplní našeho projektu je vytvoření podpory pro generování zmíněných výstupů a to automaticky na základě specifikace vestavěného systému.
Title	System for Programming and Realization of Embedded Systems (en) Systém pro programování a realizaci vestavěných systémů
skos:notation	FR-TI1/038
http://linked.open...avai/cep/aktivita	TIP
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/FR-TI1%2F038/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/FR-TI1%2F038/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2014-07-17 (xsd:date)
http://linked.open...i/cep/druhSouteze	VS - Veřejná soutěž ve výzkumu a vývoji
http://linked.open...ep/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open.../cep/fazeProjektu	100575569
http://linked.open...ai/cep/hlavniObor	JC - Počítačový hardware a software
http://linked.open...hodnoceniProjektu	V - Vynikající výsledky (s mezinárodním významem apod.). Zároveň byly splněny cíle a předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory.
http://linked.open...vai/cep/kategorie	AP - Aplikovaný výzkum
http://linked.open.../cep/klicovaSlova	Embedded system; software; hardware; microprocessor; compiler; debugger; generator (en)
http://linked.open...ep/partnetrHlavni	ApS Brno s.r.o.
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cep/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	1 (xsd:int)
http://linked.open.../pocetVysledkuRIV	34 (xsd:int)
http://linked.open...enychVysledkuVRIV	34 (xsd:int)
http://linked.open...lneniVMinulemRoce	2013-03-18 (xsd:date)
http://linked.open.../prideleniPodpory	http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/FR-TI1%2F038
http://linked.open...iciPoslednihoRoku	2013
http://linked.open...atUdajeProjZameru	2014
http://linked.open.../vavai/cep/soutez	SMPO2009/01
http://linked.open...usZobrazovaneFaze	DUU
http://linked.open...ai/cep/typPojektu	P - Projekt výzkumu a vývoje financovaný ze státního rozpočtu
http://linked.open...ep/ukonceniReseni	2013-06-30 (xsd:date)
http://linked.open.../cep/vedlejsiObor	IN - Informatika
http://linked.open...ep/zahajeniReseni	2009-07-01 (xsd:date)
http://linked.open...jektu+dodavatelem	Byla splněna věcná náplň beze zbytku. Výsledky projektu jsou prakticky použitelné na mezinárodní úrovni. V současné době probíhá komercializační fáze produktu a ohlasy jsou na straně potencionálních zákazníků pozitivní. (cs) All goals of the project were reached. Project results are industrially usable on the international level. The project has entered the commercial phase. The customer's declarations are heavily positive. (en)
http://linked.open...tniCyklusProjektu	ZBBBKU
http://linked.open.../cep/klicoveSlovo	Embedded system compiler debugger hardware microprocessor software
is http://linked.open...vavai/riv/projekt of	Testing of an automatically generated compiler, Review of retargetable testing system Automated Functional Verification of Application Specific Instruction-set Processors Fast Just-In-Time Translated Simulator for ASIP Design Fast Translated Simulation of ASIPs Retargetable Multi-level Debugging in HW/SW Codesign Scattered Context Grammars with Priority An Abstraction of Multi-Port Memories with Arbitrary Addressable Units Systém pro programování a realizaci vestavěných systémů Digital Signal Soft-Processor for Video Processing Digital Signal Soft-Processor for Audio and Video Processing Design and Simulation of High Performance Parallel Architectures Using the ISAC Language Design of a Retargetable Decompiler for a Static Platform-Independent Malware Analysis Design of a Retargetable Decompiler for a Static Platform-Independent Malware Analysis Automatic Formal Correspondence Checking of ISA and RTL Microprocessor Description ADOP microprocessor Advanced Methods of Microprocessor Simulation ASIP Design using Architecture Description Language ISAC Usage of Decompilation in Processor Architecture Modeling Cycle Accurate Profiler for ASIPs Fast Cycle-Accurate Interpreted Simulation Analýza a převod kódů do vyššího programovacího jazyka Generating Proper VLIW Assembler Code Using Scattered Context Grammars Instruction Selection Patterns Extraction from Architecture Specification Language ISAC Exploitation of Scattered Context Grammars to Model VLIW Instruction Constraints ASIP Design in the Lissom Project Generated Cycle-Accurate Profiler for C Language Fast Cycle-Accurate Compiled Simulator Fast Translated Simulation of ASIPs Design and Debugging of Parallel Architectures Using the ISAC Language Automatic C Compiler Generation from Architecture Description Language ISAC Instruction Pipeline Modeling using Petri Nets Instructor Selector Generation from Architecture Description Porting of C library, Testing of generated compiler Usage of simulators in testing system
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/FR-TI1%2F038/2009/ico%3A00543535 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/FR-TI1%2F038/2009/orjk%3A26230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/FR-TI1%2F038/2010/ico%3A00543535 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/FR-TI1%2F038/2010/orjk%3A26230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/FR-TI1%2F038/2011/ico%3A00543535 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/FR-TI1%2F038/2011/orjk%3A26230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/FR-TI1%2F038/2012/ico%3A00543535 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/FR-TI1%2F038/2012/orjk%3A26230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/FR-TI1%2F038/2013/ico%3A00543535 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/FR-TI1%2F038/2013/orjk%3A26230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/FR-TI1%2F038/2014/ico%3A00543535 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/FR-TI1%2F038/2014/orjk%3A26230

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 112 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software