SOFA - Software Appliances
Veřejná podpora
Poskytovatel
Akademie věd České republiky
Program
Granty výrazně badatelského charakteru zaměřené na oblast výzkumu rozvíjeného v současné době zejména v AV ČR
Veřejná soutěž
—
Hlavní účastníci
Ústav informatiky AV ČR, v. v. i.
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
—
Alternativní jazyk
Název projektu anglicky
SOFA - Software Appliances
Anotace anglicky
The aim of this project is to design and prototype an integrated system supporting electronic commerce with software components over a computer network. An associated technology will allow components to be updated dynamically inside of running systems. Business and market support facilities will provider profiles, component trading, etc. Based on a thourough theoretical analysis, the following issues are to be addressed: (a) Elaboration of the component provisioning and updating technology, including component versioning, dynamic reconfigurations, component transmitting, and component storage/retrieval in/from databases. (b) Elaboration of component description based on interface specification, behavioral specification, versioning model, and market-specific propeties specification. (c) Support for electronic commerce with software components, including advertising, profile matching, catalogues, and component trading.
Vědní obory
Kategorie VaV
—
CEP - hlavní obor
JC - Počítačový hardware a software
CEP - vedlejší obor
JD - Využití počítačů, robotika a její aplikace
CEP - další vedlejší obor
—
OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)
20204 - Robotics and automatic control<br>20205 - Automation and control systems<br>20206 - Computer hardware and architecture
Hodnocení dokončeného projektu
Hodnocení poskytovatelem
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Zhodnocení výsledků projektu
Byl navržen a implementován komponentový systém 30FA s podporou formálního popisu chování komponent pomocí tzv. behavior protokolů, verifikace protokolů a generování konektorů umožňuje ověřovat konzistenci návrhu hierarchických komponent.
Termíny řešení
Zahájení řešení
1. 1. 1999
Ukončení řešení
1. 1. 2002
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
—
Dodání dat do CEP
Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP/2003/AV0/AV03IA/U/N/5:3
Datum dodání záznamu
27. 10. 2004
Finance
Celkové uznané náklady
2 431 tis. Kč
Výše podpory ze státního rozpočtu
1 231 tis. Kč
Ostatní veřejné zdroje financování
1 200 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč