FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2501911246> ?p ?o ?g. }

• W2501911246 abstract "The CubETH satellite mission, a cooperative Swiss CubeSat mission involving ETH Zurich, EPF Lausanne, several universities of applied sciences, and Swiss companies, will allow technology demonstrations and proof-of-concepts concerning GNSS-based navigation information by carrying five patch antennas, each connected to two independent u-blox NEO-7N receivers. These very small, commercially available low-cost receivers are able to track single-frequency code and phase data of all the major GNSS, i.e. GPS, GLONASS, QZSS, Galileo and Beidou. The main science objective for the CubETH mission is to investigate precise orbit determination strategies using COTS hardware. The mission shall also demonstrate new technologies, applicable in the field of small satellites. In this work, we focus mostly on development of robust flight software for small and nano satellites. During the Swisscube project there were numerous problems with validation and verification of the flight software code. The software has to be adapted to the hardware architecture selected for every new satellite mission. While commercial tools exist to help with the issue, subject of robust software development was not addressed by the cubesat community, mostly due to lack of resources. Some projects simply structure their code in C/C++ and then extensively test it, maybe using some analysis tools such as Lint [5]. This is an helpful tool to find some design errors, but it does not guarantee that the software behavior is the desired one. Others use SysML/UML tools to describe the system as a whole and then check some properties such as energy consumption. SysML can be a valid tool for system engineering as a whole, but it is not rigorous enough to allow automatic software behavior verification and validation. In this project the “Behavior Interaction Priority” BIP framework will be used to design the software running in the control and data management subsystem (CDMS) of CubETH. The BIP framework has been developed by the Verimag laboratory in Grenoble university and is currently used in the EPFL by the Rigorous System Design Laboratory (RISD). We have designed and modeled a full software architecture using this framework to formally verify our software. We will present lessons learned and problems that were encountered during the development." @default.
• W2501911246 created "2016-08-23" @default.
• W2501911246 creator A5072860217 @default.
• W2501911246 date "2014-01-01" @default.
• W2501911246 modified "2023-09-23" @default.
• W2501911246 title "Rigorous software design for nano and micro satellites using BIP framework" @default.
• W2501911246 hasPublicationYear "2014" @default.
• W2501911246 type Work @default.
• W2501911246 sameAs 2501911246 @default.
• W2501911246 citedByCount "1" @default.
• W2501911246 countsByYear W25019112462020 @default.
• W2501911246 crossrefType "journal-article" @default.
• W2501911246 hasAuthorship W2501911246A5072860217 @default.
• W2501911246 hasConcept C102451475 @default.
• W2501911246 hasConcept C111919701 @default.
• W2501911246 hasConcept C115903868 @default.
• W2501911246 hasConcept C127413603 @default.
• W2501911246 hasConcept C14279187 @default.
• W2501911246 hasConcept C146978453 @default.
• W2501911246 hasConcept C177219330 @default.
• W2501911246 hasConcept C19269812 @default.
• W2501911246 hasConcept C201995342 @default.
• W2501911246 hasConcept C205649164 @default.
• W2501911246 hasConcept C2775936636 @default.
• W2501911246 hasConcept C2777904410 @default.
• W2501911246 hasConcept C2778027091 @default.
• W2501911246 hasConcept C41008148 @default.
• W2501911246 hasConcept C60229501 @default.
• W2501911246 hasConcept C62649853 @default.
• W2501911246 hasConcept C68477667 @default.
• W2501911246 hasConcept C76155785 @default.
• W2501911246 hasConceptScore W2501911246C102451475 @default.
• W2501911246 hasConceptScore W2501911246C111919701 @default.
• W2501911246 hasConceptScore W2501911246C115903868 @default.
• W2501911246 hasConceptScore W2501911246C127413603 @default.
• W2501911246 hasConceptScore W2501911246C14279187 @default.
• W2501911246 hasConceptScore W2501911246C146978453 @default.
• W2501911246 hasConceptScore W2501911246C177219330 @default.
• W2501911246 hasConceptScore W2501911246C19269812 @default.
• W2501911246 hasConceptScore W2501911246C201995342 @default.
• W2501911246 hasConceptScore W2501911246C205649164 @default.
• W2501911246 hasConceptScore W2501911246C2775936636 @default.
• W2501911246 hasConceptScore W2501911246C2777904410 @default.
• W2501911246 hasConceptScore W2501911246C2778027091 @default.
• W2501911246 hasConceptScore W2501911246C41008148 @default.
• W2501911246 hasConceptScore W2501911246C60229501 @default.
• W2501911246 hasConceptScore W2501911246C62649853 @default.
• W2501911246 hasConceptScore W2501911246C68477667 @default.
• W2501911246 hasConceptScore W2501911246C76155785 @default.
• W2501911246 hasLocation W25019112461 @default.
• W2501911246 hasOpenAccess W2501911246 @default.
• W2501911246 hasPrimaryLocation W25019112461 @default.
• W2501911246 hasRelatedWork W1577295574 @default.
• W2501911246 hasRelatedWork W1824326272 @default.
• W2501911246 hasRelatedWork W1995045071 @default.
• W2501911246 hasRelatedWork W2029004444 @default.
• W2501911246 hasRelatedWork W2053065712 @default.
• W2501911246 hasRelatedWork W2091470520 @default.
• W2501911246 hasRelatedWork W2110815513 @default.
• W2501911246 hasRelatedWork W2185219126 @default.
• W2501911246 hasRelatedWork W2321701736 @default.
• W2501911246 hasRelatedWork W2513806567 @default.
• W2501911246 hasRelatedWork W2535320016 @default.
• W2501911246 hasRelatedWork W2591672539 @default.
• W2501911246 hasRelatedWork W2732920290 @default.
• W2501911246 hasRelatedWork W2900526945 @default.
• W2501911246 hasRelatedWork W2961353240 @default.
• W2501911246 hasRelatedWork W2965899371 @default.
• W2501911246 hasRelatedWork W3016323017 @default.
• W2501911246 hasRelatedWork W3092589634 @default.
• W2501911246 hasRelatedWork W3135225792 @default.
• W2501911246 hasRelatedWork W2090673677 @default.
• W2501911246 isParatext "false" @default.
• W2501911246 isRetracted "false" @default.
• W2501911246 magId "2501911246" @default.
• W2501911246 workType "article" @default.