Compare commits

...

42 Commits

Author SHA1 Message Date
b332594a10 [P] Remove use-case diagram
All checks were successful
Component testing / Hub testing (push) Successful in 21s
Component testing / Store testing (push) Successful in 41s
Component testing / Integration smoke testing (push) Successful in 2m19s
2026-03-29 13:56:15 +03:00
a16f86d762 [P] Add architecture diagram
All checks were successful
Component testing / Hub testing (push) Successful in 24s
Component testing / Store testing (push) Successful in 52s
Component testing / Integration smoke testing (push) Successful in 2m46s
2026-03-29 13:51:55 +03:00
99be9e40c2 [P] Update diagram to reflect projet usecase
All checks were successful
Component testing / Hub testing (push) Successful in 22s
Component testing / Store testing (push) Successful in 47s
Component testing / Integration smoke testing (push) Successful in 2m54s
2026-03-29 12:41:29 +03:00
c1d11bc53a [P] Add primary use-case activity diagram 2026-03-29 12:39:16 +03:00
e515cd3b6b [P] Simplify general sequence diagram 2026-03-29 12:39:16 +03:00
502226a2c9 [P] Move diagrams into a dedicated directory 2026-03-29 12:39:16 +03:00
070e0c2b00 [P] Convert use case diagram files to PlantUML format 2026-03-29 12:39:16 +03:00
14c5c35787 [P] Convert sequence diagram files to PlantUML format 2026-03-29 12:39:16 +03:00
98e0512fbe Add use-case and sequence diagrams 2026-03-29 12:39:16 +03:00
2164003482 [P] Integrate additional store testing into CI pipeline
Some checks failed
Component testing / Hub testing (push) Successful in 25s
Component testing / Store testing (push) Successful in 45s
Component testing / Integration smoke testing (push) Failing after 11m40s
2026-03-27 20:19:34 +02:00
57a370ad69 [P] Remove trailing spaces
Some checks failed
Component testing / Hub testing (push) Successful in 22s
Component testing / Store testing (push) Successful in 24s
Component testing / Integration smoke testing (push) Has been cancelled
2026-03-27 19:51:27 +02:00
b2b8906478 [P] Remove uncessecary empty line 2026-03-27 19:49:18 +02:00
8a59f601c4 [P] Send only visible records from store on websocket connection 2026-03-27 19:49:18 +02:00
dc3e9b3e7a [P] Remove user_id from store <-> mapview interaction, fix update_db_record 2026-03-27 19:49:18 +02:00
0182d20348 [P] Sync the async function 2026-03-27 19:49:18 +02:00
adae93aba4 [P] Add database update after marker deletion. 2026-03-27 19:49:18 +02:00
2c4526d0ec [P] Code cleanup. 2026-03-27 19:49:18 +02:00
6850454711 [P] Fix several crashes triggered in one call sequence 2026-03-27 16:40:21 +01:00
abbc703b1b [P] Improve marker removal architecture to allow for future extensions 2026-03-27 16:40:21 +01:00
79a58f1737 [P] Add touch handling (untested). 2026-03-27 16:40:21 +01:00
39fca87025 Correct pothole deletion function 2026-03-27 16:40:21 +01:00
3bc39e011d Use lat lon validation 2026-03-27 16:40:21 +01:00
b2780c1c6b Add lat lon to pothole mapper 2026-03-27 16:40:21 +01:00
1e607729e2 Add type hints 2026-03-27 16:40:21 +01:00
8dc8a1f4ba [P] Add bump remove function 2026-03-27 16:40:21 +01:00
a578a96347 Merge branch 'github/dev' into dev
All checks were successful
Component testing / Hub testing (push) Successful in 24s
Component testing / Store testing (push) Successful in 35s
Component testing / Integration smoke testing (push) Successful in 2m51s
2026-03-27 16:28:41 +02:00
VladiusVostokus
5749dd825f Merge pull request #30 from Rhinemann/lab4/gryshaiev-SCRUM-82-test-new-records-in-db
Add test for new records in DB
2026-03-27 16:14:51 +02:00
86c6c14502 [L4] Correct road state string 2026-03-27 16:03:41 +02:00
561004a49c [L4] Fix relative module imports 2026-03-27 16:03:38 +02:00
SimonSanich
7d75a15de1 Add test for new records in DB 2026-03-27 15:14:17 +02:00
ІМ-24 Владислав Коваленко
eca98c4469 fix: actually use session variable in websocket GET
All checks were successful
Component testing / Hub testing (push) Successful in 23s
Component testing / Store testing (push) Successful in 24s
Component testing / Integration smoke testing (push) Successful in 2m42s
2026-03-26 16:52:00 +00:00
ІМ-24 Владислав Коваленко
c553384ce7 fix: add session rollback in DELETE
All checks were successful
Component testing / Hub testing (push) Successful in 17s
Component testing / Store testing (push) Successful in 28s
Component testing / Integration smoke testing (push) Successful in 2m44s
2026-03-26 15:59:57 +00:00
ІМ-24 Владислав Коваленко
1bf5687505 fix: add session rollback in PUT 2026-03-26 15:56:34 +00:00
ІМ-24 Владислав Коваленко
0d9dcef994 fix: close connection after GET in websocket 2026-03-26 15:52:33 +00:00
ІМ-24 Владислав Коваленко
d073243c67 refactor: use try block for error handling and session rollback
All checks were successful
Component testing / Hub testing (push) Successful in 23s
Component testing / Store testing (push) Successful in 30s
Component testing / Integration smoke testing (push) Successful in 2m28s
2026-03-26 14:07:37 +00:00
ІМ-24 Владислав Коваленко
0d364ddf61 fix: remove visibility update from PUT endpoint 2026-03-26 14:07:37 +00:00
ІМ-24 Владислав Коваленко
05c94bda81 feat: update visibility field with websocket 2026-03-26 14:07:37 +00:00
ІМ-24 Владислав Коваленко
26230df612 feat: add schema for receiving data from websocker 2026-03-26 14:07:37 +00:00
ІМ-24 Владислав Коваленко
ae10e212cb fix: remove visible from schemas, so only store knows about it 2026-03-26 14:07:37 +00:00
ІМ-24 Владислав Коваленко
e2e68e8506 fix: add visible columnt to .sql init script 2026-03-26 14:07:37 +00:00
ІМ-24 Владислав Коваленко
1375e6e4be feat: add visibility field to database table 2026-03-26 14:07:37 +00:00
ІМ-24 Владислав Коваленко
154c5c3a78 feat: add visibility field 2026-03-26 14:07:37 +00:00
12 changed files with 314 additions and 33 deletions

View File

@@ -28,18 +28,27 @@ jobs:
- name: Clone repository
run: git clone --revision ${{ gitea.sha }} --depth 1 ${{ gitea.server_url }}/${{ gitea.repository }}
- name: Start postgres_db container for testing
working-directory: IoT-Systems
run: docker-compose up -d postgres_db
- name: Build Store testing container
working-directory: IoT-Systems
run: docker build -t local/store/${{gitea.sha}} -f store/Dockerfile-test .
- name: Run Store tests
working-directory: IoT-Systems
run: docker run --rm -it local/store/${{gitea.sha}}
run: docker run --network host --rm -it local/store/${{gitea.sha}}
- name: Clean up containers
if: ${{always()}}
run: docker image rm local/store/${{gitea.sha}}
- name: Clean up docker-compose
if: ${{always()}}
working-directory: IoT-Systems
run: docker-compose down -v --remove-orphans
integration-smoke-test:
name: Integration smoke testing
runs-on: host-arch-x86_64

View File

@@ -9,6 +9,7 @@ from config import STORE_HOST, STORE_PORT
# Pydantic models
class ProcessedAgentData(BaseModel):
id: int
road_state: str
user_id: int
x: float
@@ -32,11 +33,12 @@ class ProcessedAgentData(BaseModel):
class Datasource:
def __init__(self, user_id: int):
def __init__(self):
self.websocket: Connection | None = None
self.index = 0
self.user_id = user_id
self.connection_status = None
self._new_points = []
self._active_markers = []
asyncio.ensure_future(self.connect_to_server())
def get_new_points(self):
@@ -46,11 +48,12 @@ class Datasource:
return points
async def connect_to_server(self):
uri = f"ws://{STORE_HOST}:{STORE_PORT}/ws/{self.user_id}"
uri = f"ws://{STORE_HOST}:{STORE_PORT}/ws"
while True:
Logger.debug("CONNECT TO SERVER")
async with websockets.connect(uri) as websocket:
self.connection_status = "Connected"
self.websocket = websocket
try:
while True:
data = await websocket.recv()
@@ -60,6 +63,26 @@ class Datasource:
self.connection_status = "Disconnected"
Logger.debug("SERVER DISCONNECT")
def update_db_record_visibility(self, record_id):
if self.websocket:
data = json.dumps({"id": record_id})
asyncio.ensure_future(self.websocket.send(data))
def map_lat_lon_to_processed_agent_data(self, lat: float, lon: float) -> ProcessedAgentData | None:
distances = tuple((abs(lon - marker.latitude) ** 2 + abs(lat - marker.longitude) ** 2) ** 0.5 for marker in
self._active_markers)
if len(distances) == 0:
return None
min_distance = min(distances)
marker = self._active_markers[distances.index(min_distance)]
if min_distance < 0.005:
return marker
else:
return None
def handle_received_data(self, data):
# Update your UI or perform actions with received data here
Logger.debug(f"Received data: {data}")
@@ -70,6 +93,9 @@ class Datasource:
],
key=lambda v: v.timestamp,
)
self._active_markers += [i for i in processed_agent_data_list if i.road_state != 'normal']
new_points = [
(
processed_agent_data.longitude,

View File

@@ -15,18 +15,31 @@ line_layer_colors = [
[1, 0, 1, 1],
]
def get_lat_lon(point: dict[str, float] | list[float] | tuple[float, float]) -> tuple[float, float] | None:
if isinstance(point, dict):
lat = point.get("lat")
lon = point.get("lon")
else:
lat, lon = point
if lat is None or lon is None:
return None
return lat, lon
class MapViewApp(App):
def __init__(self, **kwargs):
super().__init__(**kwargs)
self.mapview = None
self.datasource = Datasource(user_id=1)
self.mapview: MapView | None = None
self.datasource = Datasource()
self.line_layers = dict()
self.car_markers = dict()
# додати необхідні змінні
self.bump_markers = []
self.pothole_markers = []
self.bump_markers: list[MapMarker] = []
self.pothole_markers: list[MapMarker] = []
def on_start(self):
"""
@@ -50,7 +63,7 @@ class MapViewApp(App):
# Оновлює лінію маршрута
if user_id not in self.line_layers:
self.line_layers[user_id] = LineMapLayer(color = line_layer_colors[user_id % len(line_layer_colors)])
self.line_layers[user_id] = LineMapLayer(color=line_layer_colors[user_id % len(line_layer_colors)])
self.mapview.add_layer(self.line_layers[user_id])
self.line_layers[user_id].add_point((lat, lon))
@@ -91,13 +104,16 @@ class MapViewApp(App):
if user_id == config.TRACK_ID:
self.mapview.center_on(lat, lon)
def set_pothole_marker(self, point):
if isinstance(point, dict):
lat = point.get("lat")
lon = point.get("lon")
else:
lat, lon = point
def map_lat_lon_to_marker(self, lat: float, lon: float) -> MapMarker | None:
flt = filter(lambda marker: lon == marker.lat and lat == marker.lon, self.pothole_markers + self.bump_markers)
try:
return next(flt)
except StopIteration:
return None
def set_pothole_marker(self, point):
lat, lon = get_lat_lon(point)
if lat is None or lon is None:
return
@@ -111,24 +127,48 @@ class MapViewApp(App):
self.pothole_markers.append(marker)
def set_bump_marker(self, point):
if isinstance(point, dict):
lat = point.get("lat")
lon = point.get("lon")
else:
lat, lon = point
lat, lon = get_lat_lon(point)
if lat is None or lon is None:
return
marker = MapMarker(
lat=lat,
lon=lon,
source="images/bump.png"
source="images/bump.png"
)
self.mapview.add_marker(marker)
self.bump_markers.append(marker)
def delete_pothole_marker(self, point):
lat, lon = get_lat_lon(point)
if lat is None or lon is None:
return
clicked_marker_data = self.datasource.map_lat_lon_to_processed_agent_data(lat, lon)
if not clicked_marker_data:
return
clicked_marker = self.map_lat_lon_to_marker(clicked_marker_data.latitude, clicked_marker_data.longitude)
if clicked_marker is None:
return
self.mapview.remove_marker(clicked_marker)
if clicked_marker in self.pothole_markers:
self.pothole_markers.pop(self.pothole_markers.index(clicked_marker))
elif clicked_marker in self.bump_markers:
self.bump_markers.pop(self.bump_markers.index(clicked_marker))
self.datasource.update_db_record_visibility(clicked_marker_data.id)
def on_touch_down(self, widget, touch):
if touch.button == "right":
coordinate = self.mapview.get_latlon_at(touch.x, touch.y, self.mapview.zoom)
self.delete_pothole_marker(coordinate)
return True
def build(self):
"""
@@ -141,6 +181,8 @@ class MapViewApp(App):
lon=30.5234
)
self.mapview.bind(on_touch_down=self.on_touch_down)
return self.mapview

View File

@@ -0,0 +1,81 @@
@startuml
interface MQTT as mqtt1
interface MQTT as mqtt2
interface HTTP as http1
interface HTTP as http2
interface WebSocket
node Agent {
component Accelerometer
component GPS
component CarParkingSlots
component "Data Aggregator" as agent_agg
}
node Edge {
component AgentMQTTAdapter
component AgentDataProcessor
component HubMQTTAdapter
component HubHTTPAdapter
}
node Hub {
component EdgeHTTPAdapter
component EdgeMQTTAdapter
component Aggregator
component StoreHTTPAdapter
component Redis
}
node Store {
component "HTTP Rest API" as store_http
component "SQL Adapter" as store_sql
component "Websocket API" as store_ws
}
node MapView {
component "Store Processor" as mv_sp
component "Input Handler" as mv_ih
component "Map"
}
component PostgreSQL
agent_agg --> Accelerometer
agent_agg --> GPS
agent_agg --> CarParkingSlots
agent_agg -> mqtt1
mqtt1 <- AgentMQTTAdapter
AgentMQTTAdapter -> AgentDataProcessor
AgentDataProcessor --> HubMQTTAdapter
AgentDataProcessor --> HubHTTPAdapter
HubMQTTAdapter --> mqtt2
HubHTTPAdapter --> http1
mqtt2 <-- EdgeMQTTAdapter
http1 <-- EdgeHTTPAdapter
EdgeMQTTAdapter --> Aggregator
EdgeHTTPAdapter --> Aggregator
Aggregator <--> Redis
StoreHTTPAdapter <-- Aggregator
http2 <-- StoreHTTPAdapter
store_http --> http2
store_http -> store_sql
store_sql <- store_ws
store_ws --> WebSocket
store_sql <--> PostgreSQL
WebSocket <-- mv_sp
mv_sp <-- mv_ih
mv_sp --> Map
actor Spectator as user
Map --> user
mv_ih <-- user
@enduml

View File

@@ -0,0 +1,22 @@
@startuml
actor Worker as worker
participant Agent as agent
participant "Edge" as edge
participant "Hub" as hub
participant "Store" as store
participant "MapView" as mapview
actor Spectator as spectator
worker -> agent : Start agent
agent -> edge : Send sensor data
edge -> edge : Classify road state
edge -> hub : Send processed data
hub -> hub : Save processed data
hub -> store : Send processed data batch
store -> store : Save processed data batch
store -> mapview : Send new rows
mapview -> spectator : Show updated paths and markers
spectator -> mapview : Click on markers
mapview -> spectator : Hide clicked markers
mapview -> store : Save display preference
@enduml

View File

@@ -0,0 +1,15 @@
@startuml
|Користувач|
start
:Натискає на іконку ями;
|Система|
:Запитує підтвердження видалення ями;
|Користувач|
:Підтверджує видалення ями;
|Система|
:Модифікує запис про яму;
note right #ff9999: Можлива виключна ситуація 1
:Видаляє яму;
|Користувач|
stop
@enduml

View File

@@ -6,6 +6,7 @@ WORKDIR /app
COPY store/requirements.txt .
RUN pip install --no-cache-dir -r requirements.txt
RUN pip install --root-user-action ignore --no-cache-dir pytest httpx
# Copy the entire application into the container
COPY store/. .
# Run the main.py script inside the container when it starts

View File

@@ -7,5 +7,6 @@ CREATE TABLE processed_agent_data (
z FLOAT,
latitude FLOAT,
longitude FLOAT,
timestamp TIMESTAMP
);
timestamp TIMESTAMP,
visible BOOLEAN
);

View File

@@ -8,12 +8,13 @@ from sqlalchemy import (
Integer,
String,
Float,
Boolean,
DateTime,
)
from sqlalchemy.sql import select
from database import metadata, SessionLocal
from schemas import ProcessedAgentData, ProcessedAgentDataInDB
from schemas import ProcessedAgentData, ProcessedAgentDataInDB, WebSocketData
# FastAPI app setup
app = FastAPI()
@@ -30,6 +31,7 @@ processed_agent_data = Table(
Column("latitude", Float),
Column("longitude", Float),
Column("timestamp", DateTime),
Column("visible", Boolean),
)
# WebSocket subscriptions
@@ -37,16 +39,21 @@ subscriptions: Set[WebSocket] = set()
# FastAPI WebSocket endpoint
@app.websocket("/ws/{user_id}")
async def websocket_endpoint(websocket: WebSocket, user_id: int):
@app.websocket("/ws")
async def websocket_endpoint(websocket: WebSocket):
await websocket.accept()
subscriptions.add(websocket)
try:
# send already available data
r = processed_agent_data.select().order_by(processed_agent_data.c.timestamp)
stored_data = SessionLocal().execute(r).fetchall()
r = processed_agent_data.select() \
.where(processed_agent_data.c.visible == True) \
.order_by(processed_agent_data.c.timestamp)
session = SessionLocal()
stored_data = session.execute(r).fetchall()
session.close()
jsonable_data = [{c.name: getattr(i, c.name) for c in processed_agent_data.columns} for i in stored_data]
for i in jsonable_data:
@@ -57,7 +64,24 @@ async def websocket_endpoint(websocket: WebSocket, user_id: int):
# receive forever
while True:
await websocket.receive_text()
data = await websocket.receive_text()
try:
if (data):
ws_data = WebSocketData.model_validate(json.loads(data))
session = SessionLocal()
update_query = (
processed_agent_data.update()
.where(processed_agent_data.c.id == ws_data.id)
.values(visible=False)
).returning(processed_agent_data)
res = session.execute(update_query).fetchone()
if (not res):
session.rollback()
raise Exception("Error while websocket PUT")
session.commit()
finally:
session.close()
except WebSocketDisconnect:
subscriptions.remove(websocket)
@@ -81,6 +105,7 @@ def ProcessedAgentData_to_td(data: List[ProcessedAgentData]):
"latitude": item.agent_data.gps.latitude,
"longitude": item.agent_data.gps.longitude,
"timestamp": item.agent_data.timestamp,
"visible": True,
}
for item in data
]
@@ -178,8 +203,12 @@ def update_processed_agent_data(processed_agent_data_id: int, data: ProcessedAge
session.commit()
updated_result = session.execute(query).fetchone()
return ProcessedAgentDataInDB(**updated_result._mapping)
except Exception as err:
session.rollback()
print(f"Database error: {err}")
raise HTTPException(status_code=500, detail="Internal Server Error")
finally:
session.close()
@@ -210,7 +239,12 @@ def delete_processed_agent_data(processed_agent_data_id: int):
session.commit()
return ProcessedAgentDataInDB(**result._mapping)
except Exception as err:
session.rollback()
print(f"Database error: {err}")
raise HTTPException(status_code=500, detail="Internal Server Error")
finally:
session.close()

View File

@@ -49,3 +49,7 @@ class AgentData(BaseModel):
class ProcessedAgentData(BaseModel):
road_state: str
agent_data: AgentData
class WebSocketData(BaseModel):
id: int

View File

@@ -1,3 +1,4 @@
#!/bin/sh
PYTHONPATH=$PWD python3 test/main_test.py
PYTHONPATH=$PWD python3 -m pytest test_db.py

45
store/test_db.py Normal file
View File

@@ -0,0 +1,45 @@
from fastapi.testclient import TestClient
from main import app, processed_agent_data
from database import SessionLocal
from sqlalchemy import select
from datetime import datetime
client = TestClient(app)
def test_create_processed_agent_data():
db = SessionLocal()
before = db.execute(select(processed_agent_data)).fetchall()
before_count = len(before)
payload = {
"user_id": 123,
"data": [
{
"road_state": "normal",
"agent_data": {
"user_id": 999,
"accelerometer": {
"x": 1.1,
"y": 2.2,
"z": 3.3
},
"gps": {
"latitude": 50.45,
"longitude": 30.52
},
"timestamp": datetime.now().isoformat()
}
}
]
}
response = client.post("/processed_agent_data/", json=payload)
assert response.status_code == 200
after = db.execute(select(processed_agent_data)).fetchall()
after_count = len(after)
assert after_count == before_count + 1
db.close()