Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
MSP430-DemoSat
Commits
5815ad9c
Commit
5815ad9c
authored
Jul 14, 2020
by
Konrad Grochowski
Browse files
License notes added
parent
3c7328b9
Changes
18
Hide whitespace changes
Inline
Side-by-side
README.md
View file @
5815ad9c
...
...
@@ -4,6 +4,8 @@ MSP430 Demo-Sat project
The Demo-Sat project is a CubeSat mock based on
[
MSP430FR5969 LaunchPad Development Kit
](
https://www.ti.com/tool/MSP-EXP430FR5969
)
.
The software was modelled, developed and deployed using
[
TASTE
](
https://taste.tools
)
toolchain.
MSP430 Demo-Sat is distributed under the terms of the GNU Lesser General Public License
(see
[
LICENSE
](
./LICENSE
)
file).
Features
------------------------------------------------
...
...
@@ -68,7 +70,7 @@ Running software
0.
Prerequisites:
TASTE VM machine with installed:
TASTE VM machine with installed:
-
`add-ons/install-msp430-gcc.sh`
-
`add-ons/install-freertos.sh`
...
...
@@ -205,3 +207,7 @@ See also
*
[
Demonstration scenarios
](
./doc/demonstration.md
)
*
[
Hardware documentation
](
./doc/hardware.md
)
*
[
Test scenarios
](
./doc/test-scenarios.md
)
------------------------------------------------
Copyright 2020 European Space Agency
demo-sat/Makefile
View file @
5815ad9c
# Copyright (C) 2020 European Space Agency - <maxime.perrotin@esa.int>
#
# This file is part of MSP430 Demo-Sat project.
#
# MSP430 Demo-Sat is free software: you can redistribute it and/or modify
# it under the terms of the GNU Lesser General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
#
# MSP430 Demo-Sat is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU Lesser General Public License for more details.
#
# You should have received a copy of the GNU Lesser General Public License
# along with MSP430 Demo-Sat. If not, see <https://www.gnu.org/licenses/>.
KAZOO
?=
kazoo
# Here you can specify folders containing external code you want to
# compile and link for a specific partition.
...
...
demo-sat/libs/mcp9808_driver.c
View file @
5815ad9c
/*
Copyright (C) 2020 European Space Agency - <maxime.perrotin@esa.int>
This file is part of MSP430 Demo-Sat project.
MSP430 Demo-Sat is free software: you can redistribute it and/or modify
it under the terms of the GNU Lesser General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
MSP430 Demo-Sat is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public License
along with MSP430 Demo-Sat. If not, see <https://www.gnu.org/licenses/>.
*/
#include
"mcp9808_driver.h"
#include
"msp430_i2c.h"
...
...
demo-sat/libs/mcp9808_driver.h
View file @
5815ad9c
/*
Copyright (C) 2020 European Space Agency - <maxime.perrotin@esa.int>
This file is part of MSP430 Demo-Sat project.
MSP430 Demo-Sat is free software: you can redistribute it and/or modify
it under the terms of the GNU Lesser General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
MSP430 Demo-Sat is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public License
along with MSP430 Demo-Sat. If not, see <https://www.gnu.org/licenses/>.
*/
#ifndef MCP9808_DRIVER_H
#define MCP9808_DRIVER_H
...
...
demo-sat/libs/msp430_adc.c
View file @
5815ad9c
/*
Copyright (C) 2020 European Space Agency - <maxime.perrotin@esa.int>
This file is part of MSP430 Demo-Sat project.
MSP430 Demo-Sat is free software: you can redistribute it and/or modify
it under the terms of the GNU Lesser General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
MSP430 Demo-Sat is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public License
along with MSP430 Demo-Sat. If not, see <https://www.gnu.org/licenses/>.
*/
#include
"msp430_adc.h"
#include
<stdint.h>
...
...
demo-sat/libs/msp430_adc.h
View file @
5815ad9c
/*
Copyright (C) 2020 European Space Agency - <maxime.perrotin@esa.int>
This file is part of MSP430 Demo-Sat project.
MSP430 Demo-Sat is free software: you can redistribute it and/or modify
it under the terms of the GNU Lesser General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
MSP430 Demo-Sat is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public License
along with MSP430 Demo-Sat. If not, see <https://www.gnu.org/licenses/>.
*/
#ifndef MSP430_ADC_H
#define MSP430_ADC_H
...
...
demo-sat/libs/msp430_i2c.c
View file @
5815ad9c
/*
Copyright (C) 2020 European Space Agency - <maxime.perrotin@esa.int>
This file is part of MSP430 Demo-Sat project.
MSP430 Demo-Sat is free software: you can redistribute it and/or modify
it under the terms of the GNU Lesser General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
MSP430 Demo-Sat is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public License
along with MSP430 Demo-Sat. If not, see <https://www.gnu.org/licenses/>.
*/
#include
"msp430_i2c.h"
#include
<string.h>
...
...
demo-sat/libs/msp430_i2c.h
View file @
5815ad9c
/*
Copyright (C) 2020 European Space Agency - <maxime.perrotin@esa.int>
This file is part of MSP430 Demo-Sat project.
MSP430 Demo-Sat is free software: you can redistribute it and/or modify
it under the terms of the GNU Lesser General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
MSP430 Demo-Sat is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public License
along with MSP430 Demo-Sat. If not, see <https://www.gnu.org/licenses/>.
*/
#ifndef MSP430_I2C_H
#define MSP430_I2C_H
...
...
demo-sat/libs/msp430_pwm.c
View file @
5815ad9c
/*
Copyright (C) 2020 European Space Agency - <maxime.perrotin@esa.int>
This file is part of MSP430 Demo-Sat project.
MSP430 Demo-Sat is free software: you can redistribute it and/or modify
it under the terms of the GNU Lesser General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
MSP430 Demo-Sat is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public License
along with MSP430 Demo-Sat. If not, see <https://www.gnu.org/licenses/>.
*/
#include
"msp430_pwm.h"
#include
<stdint.h>
...
...
demo-sat/libs/msp430_pwm.h
View file @
5815ad9c
/*
Copyright (C) 2020 European Space Agency - <maxime.perrotin@esa.int>
This file is part of MSP430 Demo-Sat project.
MSP430 Demo-Sat is free software: you can redistribute it and/or modify
it under the terms of the GNU Lesser General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
MSP430 Demo-Sat is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public License
along with MSP430 Demo-Sat. If not, see <https://www.gnu.org/licenses/>.
*/
#ifndef MSP430_PWM_H
#define MSP430_PWM_H
...
...
demo-sat/libs/oled_sdd1306_driver.c
View file @
5815ad9c
/*
Copyright (C) 2020 European Space Agency - <maxime.perrotin@esa.int>
This file is part of MSP430 Demo-Sat project.
MSP430 Demo-Sat is free software: you can redistribute it and/or modify
it under the terms of the GNU Lesser General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
MSP430 Demo-Sat is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public License
along with MSP430 Demo-Sat. If not, see <https://www.gnu.org/licenses/>.
*/
#include
"oled_sdd1306_driver.h"
#include
<msp430.h>
...
...
demo-sat/libs/oled_sdd1306_driver.h
View file @
5815ad9c
/*
Copyright (C) 2020 European Space Agency - <maxime.perrotin@esa.int>
This file is part of MSP430 Demo-Sat project.
MSP430 Demo-Sat is free software: you can redistribute it and/or modify
it under the terms of the GNU Lesser General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
MSP430 Demo-Sat is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public License
along with MSP430 Demo-Sat. If not, see <https://www.gnu.org/licenses/>.
*/
#ifndef OLED_SDD1306_DRIVER_H
#define OLED_SDD1306_DRIVER_H
...
...
demo-sat/libs/payload_font.c
View file @
5815ad9c
/*
Copyright (C) 2020 European Space Agency - <maxime.perrotin@esa.int>
This file is part of MSP430 Demo-Sat project.
MSP430 Demo-Sat is free software: you can redistribute it and/or modify
it under the terms of the GNU Lesser General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
MSP430 Demo-Sat is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public License
along with MSP430 Demo-Sat. If not, see <https://www.gnu.org/licenses/>.
*/
#include
"payload_font.h"
static
__attribute__
((
persistent
))
...
...
demo-sat/libs/payload_font.h
View file @
5815ad9c
/*
Copyright (C) 2020 European Space Agency - <maxime.perrotin@esa.int>
This file is part of MSP430 Demo-Sat project.
MSP430 Demo-Sat is free software: you can redistribute it and/or modify
it under the terms of the GNU Lesser General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
MSP430 Demo-Sat is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public License
along with MSP430 Demo-Sat. If not, see <https://www.gnu.org/licenses/>.
*/
#ifndef PAYLOAD_FONT_H
#define PAYLOAD_FONT_H
...
...
demo-sat/types.asn
View file @
5815ad9c
--! Copyright (C) 2020 European Space Agency - <maxime.perrotin@esa.int>
--!
--! This file is part of MSP430 Demo-Sat project.
--!
--! MSP430 Demo-Sat is free software: you can redistribute it and/or modify
--! it under the terms of the GNU Lesser General Public License as published by
--! the Free Software Foundation, either version 3 of the License, or
--! (at your option) any later version.
--!
--! MSP430 Demo-Sat is distributed in the hope that it will be useful,
--! but WITHOUT ANY WARRANTY; without even the implied warranty of
--! MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
--! GNU Lesser General Public License for more details.
--!
--! You should have received a copy of the GNU Lesser General Public License
--! along with MSP430 Demo-Sat. If not, see <https://www.gnu.org/licenses/>.
DemoSat-Types DEFINITIONS ::=
BEGIN
--IMPORTS T-Int32, T-UInt32, T-Int8, T-UInt8, T-Boolean FROM TASTE-BasicTypes;
...
...
doc/demonstration.md
View file @
5815ad9c
...
...
@@ -99,3 +99,7 @@ level of input voltage.
-
The housekeeping parameter
`payload_data`
should also show the number from telecommand.
The presenter may present that the drop of input voltage causes shutdown of OLED.
------------------------------------------------
Copyright 2020 European Space Agency
doc/hardware.md
View file @
5815ad9c
...
...
@@ -44,3 +44,7 @@ MSP430 Demo-Sat Hardware
| VCC | +3.3V | |

------------------------------------------------
Copyright 2020 European Space Agency
doc/test-scenarios.md
View file @
5815ad9c
...
...
@@ -310,3 +310,7 @@ Then the PUS-1 report should be:
-
requestID request-id-distribute-register-load-command
-
failureNoticeData failure
\_
notice
\_
data
\_
invalid
\_
state
-
failure
\_
notice
\_
data
\_
invalid
\_
state disabled
------------------------------------------------
Copyright 2020 European Space Agency
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment