SOFAnet 2 MASTER THESIS Michal Papež Department of Distributed and Dependable Systems, 2011 Abstract: The aim of SOFAnet 2, as a network environment of the SOFA 2 com- ponent system, is to exchange components between SOFAnodes in a simple and rational way. Current concerns of the SOFA 2 users about software distribution are analyzed and discussed. New high level concepts of Applications and Components are defined together with their mapping to SOFA 2 first class concepts, means of distribution and removal. Furthermore a methodology to keep SOFA 2 repository clean is introduced. All new elements as concepts and operations are studied using a formal set model. The proposed concept of SOFAnet 2 is proved by a prototype implementation. 1

No description available.

No description available.

Electronic Software Distribution(ESD) sprung up in the U.S.A. from 1994. The business volume of global ESD market was 2.5 hundred million in 1996 and the growing rate was over 100% every year. ESD attains to maturity in the U.S.A. and Europe, but the concept of ESD is still in the initial stage in Taiwan. There are a few firms offering services in this scope. However, consumers do not understand ESD clearly. Furthermore, there are very few researches about ESD in Taiwan. All the circumstances are unfavorable for popularizing and promoting ESD in Taiwan. For the above mentioned reasons, this study will seek to further our understanding of consumers¡¦ purchasing behavior and purchasing factors through ESD and how important the purchasing factors affect consumers¡¦ behavior. This study got the purchasing factors of ESD by analyzing and generalizing the functions of distribution in the Web, the characteristics of Internet marketing and digital product, and the Internet consumers¡¦ purchasing factors. After that, this study analyzed the importance of these ESD consumers, purchasing factors. A web survey was conducted on one ESD web site, called SoSoft.net. The total valid sample is 95 consisting of 37 ESD patrons and 58 ESD non-patrons. And the main findings of this research are as the following: 1.The purchasing frequency of the ESD patrons is unfixed, the rate of repurchase is high and the average amount of purchasing is medium. 2.The characteristics of the responded majority are young, highly educated, and are students or employees of the IT industries. 3.The ESD consumers had long histories of using Internet. They tend to be frequent and long hour Web surfers. About half of them have Broadband (ADSL) access to the Internet. 4.For the ESD patrons, six factors are extracted from the questions on ESD purchasing factors. The factors are ¡§purchasing process¡¨, ¡§characters of Internet marketing¡¨, ¡§variety of service¡¨, ¡§option of products¡¨ and ¡§transaction costs¡¨. As for the ESD non-patrons, six factors are extracted from the questions on ESD purchasing factors as well. The factors are ¡§design of the website content¡¨, ¡§characters of Internet marketing¡¨, ¡§distinctive products and service¡¨, ¡§efficiency of purchasing process¡¨ ¡§Web security¡¨ and ¡§availability of try-before-you-buy service¡¨. 5.The ESD non-patrons are much more concerned with the security of payment and the privacy of personal data. 6.With ESD purchasing experience or not, the Consumers value all the purchasing factors with the same importance. 7.The ESD patrons¡¦ concerns of ¡§purchasing process¡¨, ¡§variety of service¡¨ and ¡§option of products¡¨ are influenced by their different age. And their occupations influence their concerns about ¡§variety of service¡¨. As for ESD non-patrons, their gender and education influence their concerns about ¡§distinctive products and service¡¨. ¡§efficiency of purchasing process¡¨ is influenced by the difference in monthly income. 8.The area of residence, Internet connection speed, and the period in history of contacting Internet do not influence the ESD consumers¡¦ concerns of purchasing factors.

Tato diplomová práce se zabývá problémem bezpečné distribuce software. Je navrženo zlepšení s pomocí doménového systému, který je použit pro uložení verifikačních klíčů, potřebných pro ověření integrity balíků stáhnutých pomocí správce balíků. Navíc je navržena rozšířená verze, které se zabývá zabezpečením metadat repositářů. Obě verze jsou implementovány v jazyce Python a integrovány do správce balíků dnf. Tato implementace je otestována ve virtuálním prostředí, diskutována a zhodnocena z hlediska způsobené zátěže.

Software deployment, eller mjukvarudistribution översatt till svenska kan ses som processen där alla aktiviteter ingår för att göra en mjukvara tillgänglig för användare utan en manuell installation på användarens dator eller annan maskin. Det finns ett flertal software deployment-verktyg, som hanterar automatiska installationer, tillgängliga för företag på marknaden idag.  Avdelningen HVDC på ABB i Ludvika har behov att börja använda ett verktyg för automatiserade installationer av mjukvaror då installationer idag utförs manuellt och är tidsödande. Som Microsoftpartners vill ABB se hur Microsofts verktyg för mjukvarudistribution skulle kunna hjälpa för detta behov.  Vår studie syftade till att undersöka hur arbetet med installationer av mjukvara ser ut idag, samt hitta förbättringsmöjligheter för installationer som inte kan automatiseras i nuläget. I studien ingick även att ta fram ett generellt ramverk för hur verksamheter kan gå tillväga när de vill börja använda sig utav software deployment-verktyg. I ramverket ingår en utformad kravspecifikation som ska utvärderas mot Microsofts verktyg.  För att skapa en uppfattning om hur arbetet i verksamheten ser ut idag har vi utfört enkätundersökning och intervjuer med personal på HVDC. För att utveckla ett ramverk har vi använt oss av insamlade data från de intervjuer, enkätundersökning och gruppintervju som utförts, detta för att identifiera krav och önskemål från personalen hos ett software deployment-verktyg. Litteraturstudier utfördes för att skapa en teoretisk referensram att utgå ifrån vid utvecklande av ramverket och kravspecifikationen.  Studien har resulterat i en beskrivning av software deployment, förbättringsmöjligheter i arbetet med installationer av mjukvara samt ett generellt ramverk som beskriver hur verksamheter kan gå tillväga när de ska börja använda ett software deployment-verktyg. Ramverket innehåller också en kravspecifikation som använts för att utvärdera Microsofts verktyg för mjukvarudistribution. I vår studie har vi inte sett att någon tidigare har tagit fram ett generellt ramverk och kravspecifikation som verksamheter kan använda sig av som underlag när de ska börja använda ett software deployment-verktyg. Vårt resultat av studien kan täcka upp detta kunskapsgap. / Software deployment can be seen as the process where all activities are included to make a software available to users without a manual installation on the user’s computer or other machine. There are several software deployment tools that manage automated installations available to enterprises on the market today. The department HVDC at ABB in Ludvika has needs of starting to use a tool for automated installations of software which currently is installed manually and is time consuming. As Microsoft partners ABB wants to see how Microsoft’s tool for software deployment could help for this need.  Our study aimed to investigate how the department´s work with installations of software looks like today and to find opportunities for improvement for installations that can’t be automated at this time. The study also includes to develop a general framework for how businesses can proceed when they want to start using a software deployment tool. The framework also includes a designed requirement specification that will be evaluated against Microsoft´s tool. To create an idea of how the work in the business looks like today, we have performed surveys and interviews with staff in HVDC. In order to develop a framework, we have used the data collected from the interviews, questionnaires and group interviews conducted to identify requirements and wishes from the staff of a software deployment tool. Literature studies were also conducted to create a theoretical framework to use when developing the framework and the requirement specification.  Our studies have resulted in a description of software deployment, opportunities for improvement in the work of software installations and a general framework that describes how businesses can proceed when they are about to start using a software deployment tool. The framework also provides a set of requirements that have used to evaluate Microsoft's tool for software distribution. In our study we have not seen that anyone before have developed a general framework and requirements specification that businesses can use as a basis when to start using a software deployment tool. Our results of the study can cover up this knowledge gap.

Magistro darbo objektas – mokomųjų kompiuterinių priemonių leidyba. Darbo tikslas – ištirti lietuviškų mokomųjų kompiuterinių priemonių leidybos procesą, pasiūlą ir ją įtakojančius veiksnius. Pagrindiniai darbo uždaviniai: išanalizuoti MKP gamybos procesą; išanalizuoti Lietuvoje leidžiamų MKP pasiūlą; sudaryti lietuviškų originalių MKP sąrašą; ištirti MKP leidybą labiausiai įtakojančius veiksmus; ištirti MKP platinimo veiksnius, analizuojant pasirinktos leidyklos atvejį. Naudojantis informacijos paieškos ir sisteminimo, dokumentų analizės, anketiniu ir lyginamuoju metodais, prieita prie išvados, kad MKP yra viena iš svarbiausių skaitmeninių mokymo priemonių. MKP sujungia vaizdinę, garsinę ir tekstinę informaciją, ko negalima padaryti jokioje kitoje mokymo priemonėje. Taip pat šios priemonės gali būti interaktyvios, kas padeda mokiniui geriau įsisavinti medžiagą ir mokymosi procesą daro įdomesniu. Darbe pateikiamas lietuviškų MKP sąrašas, kuriame suregistruotos originalios lietuviškos MKP, skirtos arba tinkamos naudoti bendrojo lavinimu mokyklose. Ištyrus MKP pasiūlą Lietuvoje galima teigti, kad mokyklose vienodai naudojamos originalios lietuviškos, adaptuotos ir užsienio šalių sukurtos kompiuterinės priemonės. Valstybė, vykdydama švietimo politiką skatina kurti originalias, bendrojo lavinimo mokyklų programoms pritaikytas MKP. Mokykloms daugiausiai sukurta lietuvių kalbos ir istorijos disciplinoms pritaikytų priemonių. Šių priemonių leidybą stipriai įtakoja mokinių... [toliau žr. visą tekstą] / The object of this graduate paper is Educational Software publishing. The aim is to investigate the process of Educational Software publishing, its supply and factors that influence it. Major goals of the study: analysis of Educational Software production process; analysis of Educational Software supply published in Lithuania; provide a list of Lithuanian Educational Software list; analysis of most influential factors of Educational Software publishing; analysis of Educational Software promotion factors, choosing one publishing house. Keywords: Educational software, Educational Software research, Educational Software classification, study of teachers work with Educational Software, Educational Software distribution, Educational Software promotion. After information search and systematization, analysis of documents, usage questionnaire and comparative survey methods, findings show that Educational Software is one of the most important digital educational means. Educational Software comprises video, audio and textual information which can not be achieved by other educational means. As well these means can be interactive which helps students learn material better and learning process becomes more interesting. This study includes a list of original Lithuanian Educational Software which is designed and appropriate for secondary school use. After investigation of Educational Software supply in Lithuania we can assume that schools use original Lithuanian and adapted foreign software... [to full text]

This dissertation entitled ’Model-Based Exploration of Parallelism in the Context of Automotive Multi-Core Systems’ deals with the analytical investigation of different temporal relationships for automotive multi-processor systems subject to critical, embedded, real-time, distributed, and heterogeneous domain requirements. Vehicle innovation increasingly demands high-performance platforms in terms of, e.g., highly assisted or autonomous driving such that established software development processes must be examined, revised, and advanced. The goal is not to develop application software itself, but instead to improve the model-based development process, subject to numerous constraints and requirements. Model-based software development is, for example, an established process that allows systems to be analyzed and simulated in an abstracted, standardized, modular, isolated, or integrated manner. The verification of real-time behavior taking into account various constraints and modern architectures, which include graphics and heterogeneous processors as well as dedicated hardware accelerators, is one of many challenges in the real-time and automotive community. The software distribution across hardware entities and the identification of software that can be executed in parallel are crucial in the development process. Since these processes usually optimize one or more properties, they belong to the category of problems that can only be solved in polynomial time using non-deterministic methods and thus make use of (meta) heuristics for being solved. Such (meta) heuristics require sophisticated implementation and configuration, due to the properties to be optimized are usually subject to many different analyses. With the results of this dissertation, various development processes can be adjusted to modern architectures by using new and extended processes that enable future and computationally intensive vehicle applications on the one hand and improve existing processes in terms of efficiency and effectiveness on the other hand. These processes include runnable partitioning, task mapping, data allocation, and timing verification, which are addressed with the help of constraint programming, genetic algorithms, and heuristics.